Stanford University
Showing 2,031-2,040 of 34,900 Results
-
Clark Barrett
Corbel Professor
Current Research and Scholarly InterestsAutomated reasoning; satisfiability modulo theories (SMT); formal methods;
formal verification; verification of smart contracts; verification of neural
networks; AI safety; security; hardware design productivity and verification.