| Semester | Course |
| Spring 2018 | 15-222, Principles of Imperative Computation |
| Spring 2017 | 15-316, Software Foundations of Security and Privacy |
| Fall 2016 | 15-819, Advanced Topics in Programming Languages: Domain-Specific Languages |
| School | Semester | Course |
| MIT | Fall 2010 | 6.820: Foundations of Program Analysis |
| Harvard | Spring 2008 | CS 152: Principles of Programming Languages |
| Harvard | Spring 2007 | CS 51: Introduction to Computer Science II |
| Harvard | Fall 2006 | CS 121: Introduction to Formal Systems |
| School | Semester | Course |
| MIT | Fall 2012 | Scala mini-course during recitations for Elements of Software Construction (6.005) |
| MIT | IAP 2010 | Introduction to C Memory Management and C++ Object-Oriented Programming |
| MIT | IAP 2010 | So You've Always Wanted to Learn Haskell? |