2026 Spring
- COSE215: Theory of Computation
- AAA551: Programming Language Theory
2025 Fall
2025 Spring
2024 Fall
- COSE212: Programming Languages
2024 Spring
- COSE215: Theory of Computation
- AAA705: Software Testing and Quality Assurance
- SWS121: Secure Programming
2023 Fall
- COSE212: Programming Languages
2023 Spring
- COSE215: Theory of Computation