School of Engineering
Showing 421-440 of 6,719 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
On Partial Leave from 01/01/2026 To 06/30/2026Current 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.
