Stanford University
Showing 16,751-16,760 of 36,214 Results
-
Hanna Lachnitt
Ph.D. Student in Computer Science, admitted Autumn 2020
BioI am a fourth year PhD student advised by Clark Barrett and part of the CENTAUR lab at Stanford University. My research interests lie in automated reasoning and formal verification. I am currently working on proofs for SMT solvers.
-
Uri Ladabaum
Professor of Medicine (Gastroenterology and Hepatology)
Current Research and Scholarly InterestsGastrointestinal cancer prevention and risk management. Risk stratification. Cost-effectiveness analysis. Health services research.