Our Faculty

headshot of William Hallahan

William Hallahan

Assistant Professor

Computer Science


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 Computer Science Department at Binghamton the following August.

Learn more

Google Scholar


  • BA, College of the Holy Cross, Mathematics and Computer Science: 

  • PhD, Yale, Computer Science

Research Interests

  • Formal methods
  • Functional languages
  • Networks