Noah Watson

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.