Runtime Vеrification
Noah Watson received his B.S. in computer science from the University of Illinois in 2022. During his final year of study there he met Grigore Rosu which led to him wanting to work for RV. He has a broad interest in programming languages, formal methods, and automatic theorem proving.
This person is not in any offices
Runtime Vеrification
Runtime Vеrification is a dynamic software analysis techniques to automatically detect bugs and errors of a software system.