Teaching
Fall semesters, I am also an instructor of record for to 17-808, Introduction to Software Engineering Research, as a member of the core faculty in Software Engineering (I coordinated, 2015-2017).
Current:
Spring 2023. Sabbatical!
Previous:
- Fall 2022 and Spring 2023. 17-214/514: Principles of Software Construction](https://cmu-17-214.github.io/f2022/)
- Spring 2022. 17-214/514: Principles of Software Construction
- Spring-Fall 2021. Family leave/Teaching release
- Fall 2020. 17-313, Foundations of Software Engineering (with Michael Hilton)
- Spring 2020. 17-355/17-655/17-819: Program Analysis
- Fall 2019. 17-313, Foundations of Software Engineering (with Michael Hilton)
- Spring 2018. 17-355/17-665/17-819O, Program Analysis/Special Topics in PL: Program Analysis (with Jonathan Aldrich), and 17-356/17-766: Software Engineering for Startups (with Michael Hilton). [github]
- Fall 2017. 15-313 Foundations of Software Engineering (with Christian Kaestner)
- Spring 2017. 17-654, Analysis of Software Systems (with Jeff Gennari).
- Fall 2016. 15-313 Foundations of Software Engineering (undergraduate), with Christian Kaestner
- Spring 2016. 15-819 O: Special Topics in Programming Languages: Program Analysis
- Fall 2015. 15-313 Foundations of Software Engineering (undergraduate), with Christian Kaestner
- Spring 2015. 17-654, Analysis of Software Systems (with Eduardo Miranda).
- Fall 2014. 15-313, Foundations of Software Engineering (with Christian Kaestner)