School of Engineering
Showing 361-370 of 2,293 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.