About

I am a Computer Science PhD student at the University of California Santa Cruz, and I am advised by Daniel Fremont. My research is centered in the area of Formal Methods, specifically the development and applications of the Scenic probabilistic programming language.

During my PhD I have had the opportunity to intern at Nissan Advanced Technology Center and Toyota Research Institute North America, applying my academic research towards real-world autonomous vehicle problems.

As an undergraduate, I worked under Katia Obraczka on the PIMAP project.