School of Engineering
Showing 1-100 of 101 Results
-
Rachel Cleaveland
Ph.D. Student in Computer Science, admitted Autumn 2021
BioI am a 4th-year PhD student at Stanford University, advised by Clark Barrett. My research focuses on applications of the theory of strings within symbolic execution as well as memory model verification.