Clark Barrett
Mizuki Asano and Thomas McGrath Professor of Computer Science
Research Interests
Automated reasoning; satisfiability modulo theories (SMT);
formal methods; formal verification; AI safety;
AI-assisted verification; hardware design productivity and verification.