Scholar
William Harrison
Google Scholar ID: 5WGzcwMAAAAJ
Two Six Technologies, Inc.
Security
Formal Methods
Programming Languages
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
623
H-index
13
i10-index
18
Publications
20
Co-authors
0
Contact
CV
Open ↗
GitHub
Open ↗
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Research Experience
Currently Principal Scientist at Galois, Inc.
Formerly Senior Formal Methods Researcher/Directorate Fellow at Idaho National Laboratory
Formerly Senior Principal Research Scientist at Two Six Technologies
Formerly Senior Cybersecurity Research Scientist at Oak Ridge National Laboratory
Formerly Associate Professor of Computer Science at the University of Missouri
Post-doctoral Researcher at Oregon Graduate Institute, June 2000–August 2003
Visiting Lecturer (Computer Science), Indiana University, September 1999–May 2000
Co-authors
0 total
Co-authors: 0 (list not available)
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up