At UPenn I taught the following courses which have websites still partially online:
- Math 570: Introduction to Logic (Fall 2019)
- Math 571: Topics in Logic (Spring 2019)
- Math 340: Discrete Math (Fall 2018)
- Math 340: Discrete Math (Fall 2017)
- Math 502: Abstract Algebra (Fall 2016)
- Math 202: Introduction to Proofs (Fall 2016)
- Math 341: Discrete Math (Spring 2016)
- Math 240: Calculus III (Fall 2015)
- Math 570: Introduction to Logic (Fall 2015)
- Math 341: Discrete Math (Spring 2015)
- Math 571: Model Theory (Spring 2015)
- Math 570: Introduction to Logic (Fall 2013)
- Math 340: Discrete Math (Fall 2013)
- Math 571: Proof Theory (Spring 2013)
- Math 340: Discrete Math (Fall 2012)
- Math 103: Introduction to Calculus (Fall 2012, Spring 2014, Fall 2014)
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)