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.
Publications, Talks, Software
Things I find blog-worthy