William Harrison

William Harrison Email and Phone Number

Principal @ Galois, Inc.
United States
William Harrison's Location
United States, United States
William Harrison's Contact Details

William Harrison work email

William Harrison personal email

n/a

William Harrison phone numbers

About William Harrison

Principal Scientist (formerly tenured professor of Computer Science at the University of Missouri) with in-depth knowledge of programming languages design and implementation, formal methods, high level synthesis for FPGAs, and hardware verification.Research interests include: Computer security and language-based methods in security; Trustworthy computing; Formal methods (particularly with respect to hardware/software codesign); Programming language design and implementation; High Level Synthesis; FPGA Programming;

William Harrison's Current Company Details
Galois, Inc.

Galois, Inc.

View
Principal
United States
Website:
galois.com
Employees:
116
William Harrison Work Experience Details
  • Galois, Inc.
    Principal
    Galois, Inc.
    United States
    View
  • Idaho National Laboratory
    Senior Formal Methods Researcher/Directorate Fellow
    Idaho National Laboratory Sep 2024 - Present
    View
  • Two Six Technologies
    Senior Principal Research Scientist
    Two Six Technologies Sep 2022 - Sep 2024
    View
  • Two Six Technologies
    Principal Scientist
    Two Six Technologies Jun 2021 - Sep 2024
    View
  • Oak Ridge National Laboratory
    Senior Cybersecurity Scientist
    Oak Ridge National Laboratory Jun 2019 - Jun 2021
    Oak Ridge, Tennessee
    View
  • University Of Missouri, Columbia
    Associate Professor Of Computer Science
    University Of Missouri, Columbia Aug 2003 - Aug 2019
    Perform basic research in programming languages, computer security and formal methods. Teach graduate and undergraduate classes. Director of Center for High Assurance Computing.
    View
  • Oregon Graduate Institute
    Senior Research Associate
    Oregon Graduate Institute Jun 2000 - Aug 2003
    Language semantics, security and formal methods research.
  • University Of Illinois At Urbana-Champaign
    Graduate Assistant
    University Of Illinois At Urbana-Champaign 1995 - 1999
    Sweat, write scripts and other such nonsense.
    View

William Harrison Skills

Computer Science Algorithms Programming Latex Haskell C University Teaching Python Research Theory Linux Computer Security Pattern Recognition Security Distributed Systems Simulations Software Engineering Mathematical Modeling Signal Processing R Perl Software Development

William Harrison Education Details

Frequently Asked Questions about William Harrison

What company does William Harrison work for?

William Harrison works for Galois, Inc.

What is William Harrison's role at the current company?

William Harrison's current role is Principal.

What is William Harrison's email address?

William Harrison's email address is ha****@****uri.edu

What is William Harrison's direct phone number?

William Harrison's direct phone number is (573)-882*****

What schools did William Harrison attend?

William Harrison attended University Of Illinois Urbana-Champaign, University Of Illinois At Urbana-Champaign, University Of California, Davis, University Of California, Berkeley, University Of California, Davis, University Of California, Davis.

What skills is William Harrison known for?

William Harrison has skills like Computer Science, Algorithms, Programming, Latex, Haskell, C, University Teaching, Python, Research, Theory, Linux, Computer Security.

Who are William Harrison's colleagues?

William Harrison's colleagues are Ted Hille, Rand Whillock, Jared Frank, Valentin Robert, Langston Barrett, Nancy Sharp, Sebastien Richard.

Not the William Harrison you were looking for?

View similar profiles

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.