Teaching

Here are some links to university classes I have recently taught or have otherwise been involved with. In addition to teaching I also do research.

Harvard

2023
 Spring
  • Automated Theorem Proving
    • 2022
    		 Fall
  • Math 21B: Linear Algebra and Differential Equations (TF)
    • Summer
    		 Math 99R: K-Theory and Hopf invariant one (Lecturer)
    Spring
  • Math 212A: Real Analysis (TF)
  • Math 21B: Linear Algebra and Differential Equations (Coach)

    • Australian National University

    2020
    Semester 1
  • MATH1115: Advanced Mathematics and Applications 1 (TA)
    • 2019
    Semester 2
  • MATH1116: Advanced Mathematics and Applications 2 (TA)
    • Semester 1
  • MATH1115: Advanced Mathematics and Applications 1 (TA)
    • 2018
    Semester 2
  • MATH1116: Advanced Mathematics and Applications 2 (TA)
    • Semester 1
  • MATH1115: Advanced Mathematics and Applications 1 (TA)
    • 2017
    Semester 2
  • MATH1116: Advanced Mathematics and Applications 2 (CA)
    • Semester 1
  • MATH1115: Advanced Mathematics and Applications 1 (CA)