teaching
Current teaching: Programming with Probabilities
Courses I have taught:
- Spring 2026: CS4400/5400: Principles of Programming Languages
- Fall 2025: Categories for PL (course notes)
- 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: