Computer Science
Showing 501-600 of 1,237 Results
-
Moo Jin Kim
Ph.D. Student in Computer Science, admitted Autumn 2023
BioMoo Jin Kim is a Ph.D. student in Computer Science at Stanford University (2023 – present) who conducts research in end-to-end vision-based robotic manipulation.
-
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.