I am a first year Computer Science PhD student at the University of California Santa Cruz. My research is centered in the area of Formal Methods, and I have the pleasure of being advised by Daniel Fremont.

As an undergraduate, I had the privilege to work under Katia Obraczka on the PIMAP project.