Speaker
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.