School of Engineering
Showing 1-50 of 74 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.
-
Alisa Levin
Ph.D. Student in Computer Science, admitted Autumn 2021
Current Research and Scholarly InterestsRobust and generalizable intracortical brain-computer interfaces