teaching
Current teaching: CS4400/5400: Principles of Programming Languages
Courses I have taught:
- Fall 2025 Categories for PL
- CS4400/5400: Principles of Programming Languages
- CS7470: Seminar in Programming Languages, Foundations of Probabilistic Programming. Fall 2023.
- CS4100: Introduction to Artificial Intelligence
- Fall 22
- Spring 2022
- CS7480: Topics in Programming Languages: Probabilistic Programming. Fall 21
Summerschool courses I have taught: