teaching
| Semester | Course | Name | Role | Instructors |
|---|---|---|---|---|
| Summer 2024 | 15-150 | Principles of Functional Programming | đŚ Instructor | Harrison Grodin |
| Spring 2024 | 15-791 | Advanced Topics in Foundations of Programming Languages | đ Grad 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 |