William Harrison
Scholar

William Harrison

Google Scholar ID: 5WGzcwMAAAAJ
Two Six Technologies, Inc.
SecurityFormal MethodsProgramming Languages
Citations & Impact
All-time
Citations
623
 
H-index
13
 
i10-index
18
 
Publications
20
 
Co-authors
0
 
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)