Credits

Course Origins

CARS builds on CSE 507, a graduate course on computer-aided reasoning at the University of Washington. All the fantastic materials for CSE 507 (slides, homework assignments, etc.) were originally designed and developed by Emina Torlak. CARS adapts that foundation for the Professional Masters Program, with a focus on solver-aided software engineering for working professionals.

AI Acknowledgment

This course website was built with assistance from AI tools, including Claude (Anthropic) and Codex (OpenAI). AI was used for code generation, content drafting, and design iteration. All AI-generated content was reviewed and edited by the course staff.