Background
William Hallahan is interested in techniques that enable easily writing and ensuring the correctness of code. He is broadly interested in methods of verification, synthesis and automated reasoning. His past work has introduced techniques to debug and automatically verify programs in functional languages. He also has worked on verifying and synthesizing network systems, with a particular focus on programmable networks.
Hallahan received his PhD at Yale University in May 2022, and joined the School of Computing at 绿帽社 the following August.
Education
BA, College of the Holy Cross, Mathematics and Computer Science:
-
PhD, Yale, Computer Science
Research Interests
- Formal methods
- Functional languages
- Networks