Will is a PhD candidate studying Programming Languages at Boston University with Manuel Egele and Hongwei Xi. He is broadly interested in constructing systems that are proveably correct and secure by design.