School of Engineering
Showing 1,001-1,050 of 2,285 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.
-
Hannah Lee
Ph.D. Student in Electrical Engineering, admitted Autumn 2023
Current Research and Scholarly InterestsComputational Neuroscience, Statistical Modeling for Neuroscience