Stanford University
Showing 21-30 of 2,772 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.