William Hallahan

William Hallahan is an Assistant Professor in the School of Computing at Binghamton University. He joined the faculty in August 2022 following his PhD in Computer Science from Yale University (May 2022), where he was advised by Ruzica Piskac. His research focuses on formal methods, functional languages, and network systems, with an emphasis on techniques that simplify code verification and automated reasoning.

Education:

• PhD in Computer Science, Yale University, 2022
• BA in Mathematics and Computer Science, College of the Holy Cross

Research interests include:

• Program verification for functional languages
• Automated debugging and repair systems
• Network system verification (firewalls, P4 programs)
• Control plane synthesis for programmable networks

Publications highlight contributions to symbolic execution, firewall repair, and P4 verification frameworks. Current research emphasizes developing practical formal techniques to reduce programmer error and improve code reliability.

He maintains an active research group with multiple funded PhD positions available starting Spring 2023.