Skip to content
This repository has been archived by the owner on Jul 14, 2021. It is now read-only.

Latest commit

 

History

History
10 lines (8 loc) · 366 Bytes

README.md

File metadata and controls

10 lines (8 loc) · 366 Bytes

Algorithms for efficient validation of black-box systems

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.

See moss-mscs-thesis.pdf

To compile, run latexmk