TA for Foundations of Programming Languages

Undergraduate/Graduate course, The University of Chicago, Prof. Reppy, 2023

TA for advanced undergrad and Ph.D. student teaching the theoretical foundations of functional programming languages. Course focused on teaching PL style proof to students.