At UPenn I taught the following courses:

- Math 571: Proof Theory (Spring 2013)
- Math 340: Discrete Math (Fall 2012)
- Math 103: Introduction to Calculus (Fall 2012)

At UConn I taught the following courses:

- Math 5026: Proof Theory (Spring 2012)
- Math 2110Q: Multivariable Calculus (Fall 2011)
- Math 3160: Probability (Fall 2011)

- Math 3C: Probability for Life Sciences Students (Spring 2011),
- Math 114L: Mathematical Logic (Spring 2011),
- Math 3B: Calculus for Life Science Students (Winter 2011),
- Math 3A: Calculus for Life Science Students (Fall 2010),
- Math 290D: Proof Theory (Fall 2010),
- Math 32B: Calculus of Several Variables (Summer 2010),
- Math 114L: Mathematical Logic (Spring 2010),
- Math 33B: Differential Equations (Winter 2010),
- Math 3A: Calculus for Life Science Students (Fall 2009),
- Math 61: Introduction to Discrete Structures (Fall 2009),
- Math 114L: Mathematical Logic (Spring 2009),
- Math 135: Ordinary Differential Equations (Winter 2009)