School of Engineering
Showing 1-92 of 92 Results
-
Rachel Cleaveland
Ph.D. Student in Computer Science, admitted Autumn 2021
BioRachel Cleaveland is a 3rd-year PhD student from Stanford University, advised by Clark Barrett. Her research focuses on symbolic execution as well as memory model verification.