William HallahanView profile
Assistant Professor
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.










