Hello, world!

I am currently pursuing a Ph.D. in EECS at UC Berkeley. My advisor is Sanjit Seshia, and my research interests include applying formal methods to problems in computer security and software verification. I am currently working on verification techniques for trusted computing layers such as hypervisors and CPU emulators. Prior to Berkeley, I spent my undergrad years at the University of Waterloo in Canada.

Learn more »


Publications, Talks, Software

View details »


Things I find blog-worthy

View details »


Constantly evolving

View details »