Stanford University
Showing 2,121-2,140 of 37,047 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.
-
Brigid Barron
Margaret Jacks Professor of Education
On Partial Leave from 04/01/2026 To 06/30/2026Current Research and Scholarly InterestsCurrent projects include the longitudinal documentation of learner pathways to engagement, studies of families as technology-supported learning teams, and the roles that personal learning networks play in catalyzing and sustaining interest-driven learning She is founder of the YouthLAB at Stanford, and a co-lead of TELOS, a Stanford Graduate School of Education Initiative to investigate how technologies can provide more equitable access to learning opportunities.
