William Harris

William Harris Email and Phone Number

Research Engineer focused on rigorously secure systems @ Amazon Web Services (AWS)
seattle, washington, united states
William Harris's Location
Portland, Oregon, United States, United States
William Harris's Contact Details

William Harris work email

William Harris personal email

n/a
About William Harris

I research the verification and synthesis of provably-correct and secure programs.

William Harris's Current Company Details
Amazon Web Services (AWS)

Amazon Web Services (Aws)

View
Research Engineer focused on rigorously secure systems
seattle, washington, united states
Employees:
72973
William Harris Work Experience Details
  • Amazon Web Services (Aws)
    Senior Applied Scientist
    Amazon Web Services (Aws) Sep 2024 - Present
    Applied research on automatically analyzing and improving the security of critical cloud services.
  • Google
    Senior Software Engineer
    Google Jul 2022 - Dec 2024
    Portland, Oregon, United States
    Primary Team: Android Security & Privacy: develop automatic static analyses for detecting malware.Contributor: deploy verified cryptographic code in BoringSSL.
  • Galois
    Principal Investigator
    Galois Jan 2018 - Oct 2023
    Portland, Oregon Area
    Principal Investigator leading research in the verification and synthesis of provably correct and secure programs.
  • Georgia Institute Of Technology
    Assistant Professor
    Georgia Institute Of Technology Sep 2014 - Dec 2017
    Greater Atlanta Area
    Research: program analysis and software security.Teaching: graduate and senior undergraduate courses on software security, program verification, and compiler design.
  • University Of Wisconsin-Madison
    Research Assistant
    University Of Wisconsin-Madison Sep 2007 - Sep 2014
    Madison, Wisconsin Area
    Research application of formal methods to the analysis and synthesis of secure system software.
  • Microsoft Research, Redmond
    Research Assistant Intern
    Microsoft Research, Redmond Jun 2010 - Sep 2010
    Design and develop a synthesizer of Excel macros from user-provided examples.
  • Microsoft Research India
    Research Assistant Intern
    Microsoft Research India May 2009 - Aug 2009
    Design and develop an automatic technique for proving program termination.
  • Nec Laboratories America
    Research Assistant Intern
    Nec Laboratories America Jun 2008 - Aug 2008
    Design and develop an automated technique for proving program safety.
  • Google
    Software Engineer Intern
    Google Jun 2007 - Aug 2007
    Develop a software profiling tool that finds correlations between high-level performance metrics and low-level hardware events.
  • Purdue University
    Teaching Assistant
    Purdue University Jan 2005 - May 2007
    Teaching assistant for the following courses:CS 180: Introduction to ProgrammingMA 366: Ordinary Differential Equations

William Harris Skills

Programming Algorithms Latex Programming Languages Ocaml Llvm Program Analysis Program Synthesis

William Harris Education Details

Frequently Asked Questions about William Harris

What company does William Harris work for?

William Harris works for Amazon Web Services (Aws)

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

William Harris's current role is Research Engineer focused on rigorously secure systems.

What is William Harris's email address?

William Harris's email address is wr****@****isc.edu

What schools did William Harris attend?

William Harris attended University Of Wisconsin-Madison, University Of Wisconsin-Madison, Purdue University.

What are some of William Harris's interests?

William Harris has interest in Functional Programming, Model Checking, Formal Methods, Interactive Theorem Proving, Programming Languages, Decision Procedures.

What skills is William Harris known for?

William Harris has skills like Programming, Algorithms, Latex, Programming Languages, Ocaml, Llvm, Program Analysis, Program Synthesis.

Not the William Harris you were looking for?

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.