I am a postdoctoral scholar at UC Berkeley with Dawn Song. I did my PhD at National University of Singapore where I was advised by Prateek Saxena. My research lies at the intersection of trusted computing, system security, program analysis, and formal verification.I am on the academic job market this year: Research Statement, Teaching Statement, CV.
593 Soda Hall,
Berkeley, CA 94720-1776