Master of Science in Computer Science with a Distinction in Research.
Awarded the Best CS Master's Thesis (The Christofer Stephenson Memorial Award for Graduate Research)
Stanford University—Robert Moss, 2021.
To compile, run latexmk
(Stanford MSCS Thesis) Algorithms for efficient validation of black-box systems
TeX
Master of Science in Computer Science with a Distinction in Research.
Awarded the Best CS Master's Thesis (The Christofer Stephenson Memorial Award for Graduate Research)
Stanford University—Robert Moss, 2021.
To compile, run latexmk