Stanford University
Showing 2,031-2,040 of 34,914 Results
-
Alison Barrett
Postdoctoral Scholar, Immunity Transplant Infection
BioI'm an all-in-one biochemist, cell-culturist, and human-health enthusiast whose interests include therapeutics development, and tools for medical diagnostics.
I strive to maintain a healthy balance of breadth and depth in my areas of expertise, and have a strong affinity to interdisciplinary approaches. My background includes software development within the protein structure prediction module of the Rosetta software suite, design and initial development of cancer therapeutics, and basic research into understanding the mechanistic details of cell-cycle gene regulation.
My current research within the Tobias Lanz Lab aims to understand the role of certain targets of autoimmunity in Multiple Sclerosis and use this understanding to develop therapies and diagnostic aides. -
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.
