Instructor 🧑‍🏫

  • CS 501 — Techniques of Computer Science Teaching
    Fall 2025

  • CS 162 — Programming Languages
    Summer 2025

  • CS 292C — Computer-Aided Reasoning for Software
    Spring 2024 · co-taught with Yu Feng

Teaching Assistant 🧑‍💻

Awards 🏆

Certificates and Training ✅