Clark Barrett
Stanford University
Research Interests
Automated reasoning; satisfiability modulo theories (SMT);
formal methods; formal verification; verification of smart contracts;
verification of neural networks; AI safety; hardware design productivity and verification.