Stanford University
Showing 381-390 of 6,081 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. -
Annelise E. Barron
Associate Professor of Bioengineering
Current Research and Scholarly InterestsBiophysical mechanisms of host defense peptides (a.k.a. antimicrobial peptides) and their peptoid mimics; also, molecular and cellular biophysics of human innate immune responses.
