School of Engineering
Showing 1-20 of 98 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.
-
Daniel (Jaeyoung) Lee
Masters Student in Computer Science, admitted Autumn 2022
BioJunior interested in CS, physics, and astronomy.