ECOOP 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
William Harris

Registered user since Mon 15 Dec 2014

Name:William Harris

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.

Country:United States


Show activities from other conferences

ECOOP and ISSTA 2018-profile
View general profile