PhD Candidate
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.
Publications
Dependent Types for Multi-Rate Data Flows in Synchronous Programming
William Blair, Hongwei Xi
Post-Proceedings of 2015 ACM Workshop on ML