Center for Automated Reasoning at Stanford University
The mission of the Center for Automated Reasoning (Centaur) is to accelerate the state of the art in automated reasoning research by creating new theory and algorithms, building world-class tools, and creating automated reasoning-based solutions to real-world problems.