2026 Winter
- CS 257: Introduction to Automated Reasoning
- CS 357S: Formal Methods for Computer Systems
- PHIL 151: Metalogic
2025 Autumn
2025 Spring
- CS 99: Functional Programming and Theorem Proving in Lean 4
- PHIL 152: Computability and Logic
- PHIL 359: Logic Spring Seminar