Curriculum Vitae
Education
- PhD, University of Illinois Urbana-Champaign (in progress)
- BA/MA, Wesleyan University, 2024/2025
Reviewing
- Types 2025 Post-proceedings
Teaching at Wesleyan University
- TA: Computer Science I: Imperative Programming (twice)
- TA: Computer Science II: Functional Programming
- TA: Design of Programming Languages
- TA: Automated Reasoning