Before joining Galois, Bill was an Assistant Professor in the School of Computer Science at the Georgia Institute of Technology. There, I oversaw the Trustable Programming Group, which developed automatic program verifiers that prove properties about program performance, information leakage, and that prove functional equivalence of multiple programs.

Bill earned his Ph.D. in Computer Science from the University of Wisconsin-Madison, where he was advised by Thomas Reps and Somesh Jha. His thesis work developed a program synthesizer that instumented programs to be correct and secure when executed in environments that provide API’s for enforcing application security.