2025 Spring

• PHIL 152: Computability and Logic
• PHIL 359: Logic Spring Seminar

2025 Winter

• PHIL151: Metalogic
• CS 357S: Formal Methods for Computer Systems

2023 Autumn

• CS257: Introduction to Automated Reasoning

2023 Winter

• PHIL151: Metalogic
• PHIL152: Computability and Logic

2022 Autumn

• CS257: Introduction to Automated Reasoning