Teaching
Undergraduate
- ECE208 - Logic + Discrete Mathematics, Computability,
Complexity (S2019, F2020, S2021)
- ECE250 - Algorithms and Data Structures (F2015)
- ECE351 - Compilers (W2014, S2014, W2015, S2017, S2018)
- ECE458 - Computer Security (W2013, S2014, S2017)
Graduate
- ECE650 - Methods and
Tools for Software Engineering (F2021)
- ECE653 - Software
Testing, Quality Assurance, and Maintenance (S2020,
S2021)
- ECE750-T28
- Computer-aided Reasoning (F2013, W2015, F2016, F2017, F2018, F2021)
- Logic
seminar - (W2013)
