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 »

Research

Publications, Talks, Software

View details »

Log

Things I find blog-worthy

View details »

Misc

Constantly evolving

View details »