I am a PhD candidate studying Programming Languages at Boston University with Manuel Egele and Hongwei Xi. 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