Stanford University
Showing 1-10 of 182 Results
-
Teland La
Masters Student in Computer Science, admitted Autumn 2021
BioThanks for stopping by :)
-
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.