William T. Hallahan

I am an Assistant Professor of Computer Science at Binghamton University. Previously, I completed my PhD, advised by Ruzica Piskac at Yale University. I am interested in making programmer’s lives easier, by developing formal techniques to more quickly find and fix bugs and more easily write code.

I work on techniques to aid programmers in verifying code. My early work on this topic introduced counterfactual symbolic execution, which aids with debugging errors from modular verification tools such as Dafny or LiquidHaskell. More recently, I extended this work to automatically repair modular verification errors, allowing the verification process to be fully automated.

In the networking space, I worked on techniques to automatically verify and repair firewalls. I have also worked on techniques for verification of programs written in the domain-specific P4 language, and to automatically synthesize control plane operations for P4 programs.

I have multiple fully funded PhD student positions open, to begin as soon as Spring 2023. If you are interested in joining my research group, please apply to the Binghamton University PhD program (mention my name in your application material), and send me your CV directly via email.