Courses I have taught: 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