School of Engineering
Showing 151-160 of 2,242 Results
-
Clark Barrett
Mizuki Asano and Thomas McGrath Professor
On Partial Leave from 05/18/2026 To 06/30/2026Current 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.