School of Engineering
Showing 411-420 of 6,463 Results
-
Clark Barrett
Mizuki Asano and Thomas McGrath 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.
