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.
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.