teaching
Courses I have taught:
- Fall 2024. CS4400: Programming Languages
- Spring 2024. CS4400: Programming Languages
- CS7470: Seminar in Programming Languages, Foundations of Probabilistic Programming. Fall 2023.
- CS4100: Introduction to Artificial Intelligence. [Fall 22] [Spring 22]
- CS7480: Topics in Programming Languages: Probabilistic Programming. Fall 21
Summerschool courses I have taught: