Georgia
Tech Teaching
Undergraduate
- CS4240 - Compilers and Interpreters (S2026)
- CS4510 - Automata and Complexity (Summer 2026, Summer
2025, S2025)
Graduate
- CS8803 - SAT/SMT
Solvers (F2026, F2025, F2024)
University
of Waterloo Teaching
Undergraduate
- ECE208 - Logic + Discrete Mathematics, Computability,
Complexity (S2022, S2021, F2020, S2019)
- ECE250 - Algorithms and Data Structures (F2015)
- ECE351 - Compilers (S2018, S2017, W2015, S2014, W2014)
- ECE458 - Computer Security (S2017, S2014, W2013)
Graduate
- ECE650 - Methods and
Tools for Software Engineering (F2022, F2021)
- ECE653 - Software
Testing, Quality Assurance, and Maintenance (S2021,
S2020)
- ECE750-T28 -
Computer-aided Reasoning (F2021, F2018,
F2017, F2016, W2015, F2013)
- Logic seminar - (W2013)