### Teaching

##### at Carnegie Mellon University

2016 Fall

Logic and Mathematical Inquiry: instructor

2015 Spring

Nature of Mathematical Reasoning: instructor

2014 Fall

Models and Methods of Optimization: teaching assistant

2014 Summer

Nature of Mathematical Reasoning: instructor

2014 Spring

2013 Fall

Formal Logic: Grader and guest lecturer

##### at St. Agnes Academy

2011-2012

Geometry, Precalculus, AP Calculus AB: instructor

2010-2011

Geometry, AP Calculus AB: instructor

I am helping develop an open-source course and text on mathematical proof and argument. The course uses examples in the Lean theorem-proving system. 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.