About

I am a PhD Student at the University of Waterloo working with Professor Arie Gurfinkel. My research interests are in formal methods and program verification.

Resume