- CSCI 310 Introduction to Software Engineering
- Fall 2023 (class size 182), Fall 2022 (class size 173), Spring 2022 (class size 229)
- Fall 2019 (class size 144, course eval)
- Fall 2018 (class size 138, course eval)
- CSCI 360 Introduction to Artificial Intelligence
- Spring 2020 (class size 225, course eval)
- Spring 2019 (class size 75, course eval)
- CSCI 599 Automated Reasoning and Verification
- Fall 2017 (class size 6, course eval)
- CSCI 699 Introduction to Software Synthesis
- Fall 2017 (class size 7, course eval)
- CSCI 699 Quantitative Information Flow and Side Channels
- Fall 2021 (class size 5), Fall 2020 (class size 7)