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)