Browse School of Engineering | Stanford Profiles

Karen Ivette Barrera

Undergraduate, Hasso Plattner Institute of Design
Studio Operator, Stanford Engineering Center for Global and Online Education

Contact Info
Mail Code: 2260
karenbar@stanford.edu

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.

Contact Info
- 389 JANE STANFORD WAY
- W334
- Stanford University
- STANFORD, California 94305
Mail Code: 9040
- (650) 736-0822 (office)
barrettc@stanford.edu

Kieran Javier Barrett

Masters Student in Computer Science, admitted Autumn 2022

Contact Info
Mail Code: 9025
kjavi@stanford.edu

Annelise E. Barron

Associate Professor of Bioengineering

On Partial Leave from 01/01/2026 To 06/30/2026

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.