I am a PhD student studying Programming Languages at Boston University with Hongwei Xi and Manuel Egele. I am broadly interested in constructing systems that are proveably correct and secure by design.
M.S. Computer Science, 2014
B.A. Computer Science, 2012
I have served as a T.A. for the following courses