Spring 2017

- Math 591 - Ultrafilters and Applications

Fall 2016

- Math 300 - Introduction to Mathematical Reasoning
- Math 409 - Topology

Spring 2016

- Math 310 - Linear Algebra
- Math 490 - Mathematical Expositions

Fall 2015

- Math 201 - Calculus II
- Math 300 - Intro. to Mathematical Reasoning

Spring 2015

- Math 201 - Calculus II
- Math 490 - Mathematical Expositions
- Math 492 - Independent Study (Computability Theory and Gödel's Incompleteness Theorems)