- CS 5110/6110 – Software Verification | Spring 2018
- CS 6012 – Data Structures and Algorithms | Fall 2017
- CS 5110/6110 – Rigorous System Design | Spring 2017
- CS 2100 – Discrete Structures | Fall 2016
- CS 5110/6110 – Rigorous System Design | Spring 2016
- CS 5959 – Writing Solid Code | Fall 2015
- CS 7930 – Colloquium | Fall 2015
- CS 7930 – Colloquium | Spring 2015
- CS 2100 – Discrete Structures | Fall 2014
- CS 7930 – Colloquium | Fall 2014
- CS 2100 – Discrete Structures | Spring 2014
- CS 7930 – Colloquium | Spring 2014
- CS 7930 – Colloquium | Fall 2013