- Title PhD Student
- Email email@example.com
- Education PhD, Boston University
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.
Dependent Types for Multi-Rate Data Flows in Synchronous Programming
William Blair, Hongwei Xi
Post-Proceedings of 2015 ACM Workshop on ML