Teaching
Courses at UIUC
Formal Software Development Methods
Mathematical models, languages, and methods for software specification, development, and verification.
Spring 2024
Trustworthy AI Systems
Advanced graduate course discussing the latest advances in constructing reliable real-world systems that incorporate ML components
Fall 2023
Formal Methods for Software Development
Mathematical models, languages, and methods for software specification, development, and verification.
Spring 2023
Trustworthy AI Systems
Advanced graduate course discussing the latest advances in constructing reliable real-world systems that incorporate ML components
Fall 2022
Logic and Artificial Intelligence
Advanced graduate course discussing the latest advances in combining logical reasoning with traditional data-driven methods.
Fall 2021