Georgia Tech

• Guest Lecture: Faster SMT Solving Through Constraint Pre–Processing.
  CS 6340 Software Analysis and Testing, 30 November 2023. Instructor: Qirun Zhang.

• Spring 2023: TA for CS4240 Compilers and Interpreters
  Instructor: Qirun Zhang

Grinnell College

• Spring 2021: TA for CS213 Operating Systems & Parallel Algorithms
  Instructor: Charlie Curtsinger
• Spring 2021: TA for CSC151 Functional Problem Solving (Intro to CS)
  Instructor: Samuel Rebelsky
• Summer 2020: TA for CSC151 Functional Problem Solving (Intro to CS)
  Instructor: Peter-Michael Osera
• Spring 2020: TA for MAT218 Discrete Bridges to Advanced Mathematics (Number Theory)
  Instructor: Joseph Mileti
• Spring 2020: TA for CSC151 Functional Problem Solving (Intro to CS)
  Instructor: Fahmida Hamid
• Spring 2019: Lab TA for PHY132 General Physics II (Electricity & Magnetism)
  Instructor: James Zabel