Stanford University
Home
Blog
News
Events
Courses
People
Alumni
Publications
Tools
Affiliates and Sponsors
Center for Automated Reasoning at Stanford University
Courses
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