at VU Amsterdam:

  • 2019 Spring: Logic and Modeling (instructor)
  • 2018 Spring: Logic and Modeling (teaching assistant)

at Carnegie Mellon:

at St. Agnes Academy:

  • 2011-2012: Geometry, Pre-calculus, AP Calculus AB (instructor)
  • 2010-2011: Geometry, AP Calculus AB (instructor)

Logic and Proof

I am helping develop an open-source course and text on mathematical proof and argument. The course uses examples from the Lean proof assistant. We have designed the course to encourage students to think about mathematics from three perspectives: the formal (logic and natural deduction), the informal (natural-language concepts and proofs), and the semi-formal (exemplified by Lean).

The most recent version of the text can be found here (interactive) or here (pdf), and the development is tracked on GitHub.

In Fall 2016, Jeremy Avigad and I co-taught a sophomore-level course at CMU using these notes. In Spring 2019, I will teach a second year CS course at VU Amsterdam using these notes.