I am on the job market this year, seeking an academic position. My Curriculum Vitae is available here.

Our OSDI 2008 paper is ready. It presents our new symbolic execution system KLEE, and our experience applying it to over 450 UNIX utilities.

I am a doctoral student in the Department of Computer Science at Stanford University, working in Prof. Dawson Engler's group. My research interests include most aspects related to software conformance and reliability, such as software testing, computer security, model checking, fault injection, specification languages, and error recovery.

My Ph.D. work focuses on applying symbolic execution techniques to testing real systems code. The three symbolic execution systems that we designed (EGT, EXE, and KLEE) were applied to a variety of systems (Linux file systems, networking tools, UNIX utilities etc.) finding bugs in all of them, together with the actual inputs generating these bugs.

Previous work has included research on software resilience and reliability, most notably the Failure Oblivious project at MIT, and the Data Randomization/WIT projects at Microsoft Research.

Previously, I received a Master of Engineering degree in Computer Science from MIT, under the direction of Prof. Martin Rinard. I received a Bachelor of Science degree in Computer Science, and a Bachelor of Science degree in Mathematics, also from MIT.