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

Registered user since Mon 15 Dec 2014

Name: William Harris

Bio: 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

Affiliation: Galois

Personal website: https://galois.com/team/bill-harris/

Contributions

WoSSCA 2018Committee Member in Program Committee within the WoSSCA 2018-track
SALAD 2018Committee Member in Program Committee within the SALAD-track
Show activities from other conferences

ECOOP and ISSTA-profile
View general profile