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? |