teaching
| Semester | Course | Name | Role | Instructors |
|---|---|---|---|---|
| Spring 2024 | 15-791 | Advanced Topics in Foundations of Programming Languages | TA | Robert Harper |
| Spring 2022 | 15-312 | Foundations of Programming Languages | Head TA | Jan Hoffmann |
| Spring 2022 | 15-150 | Principles of Functional Programming | TA | Michael Erdmann and Karl Crary |
| Fall 2021 | 98-317 | Hype for Types | Instructor | Avery Cowan, James Gallicchio, Harrison Grodin, and Brandon Wu |
| Fall 2021 | 15-312 | Foundations of Programming Languages | Head TA | Robert Harper |
| Spring 2021 | 98-317 | Hype for Types | Instructor | Aditi Gupta, Avery Cowan, Harrison Grodin, and Matthew McQuaid |
| Spring 2021 | 15-312 | Foundations of Programming Languages | TA | Jan Hoffmann |
| Fall 2020 | 98-317 | Hype for Types | Instructor | Aditi Gupta, Avery Cowan, Harrison Grodin, and Matthew McQuaid |
| Fall 2020 | 15-312 | Foundations of Programming Languages | TA | Robert Harper |
| Summer 2020 | 15-150 | Principles of Functional Programming | Head TA | Jacob Neumann |
| Spring 2020 | 15-150 | Principles of Functional Programming | Head TA | Michael Erdmann and Frank Pfenning |
| Fall 2019 | 15-150 | Principles of Functional Programming | Head TA | Steve Brookes |
| Summer 2019 | 15-150 | Principles of Functional Programming | Head TA | Klaas Pruiksma |
| Spring 2019 | 15-150 | Principles of Functional Programming | TA | Michael Erdmann and Karl Crary |