Welcome to my web site! I'm a graduate student at UC Berkeley in the Group in Logic and the Methodology of Science, working with Sanjit Seshia.

I'm interested in applications of logic in computer science, particularly using automated reasoning to improve the reliability of software, hardware, and cyber-physical systems. The main topic of my research is algorithmic improvisation, a new approach to synthesizing systems with random but safe behavior; I've also worked on the underlying technologies of model counting and uniform generation. Take a look at my research page for details.

Alternatively, you could look at some cool pictures.