Senior Applied Scientist
CurrentApplied research on automatically analyzing and improving the security of critical cloud services.
Sep 2024 - Present
AeroLeads people directory · profile
William Harris Email & Phone Number
Senior Applied Scientist
at
Amazon Web Services (AWS)
1 work email found
@cs.wisc.edu
LinkedIn matched
✓ Verified July 2026
4 data sources
Profile completeness 100%
Current company
Role
Senior Applied Scientist
Location
Portland, Oregon, United States
Company size
Who is William Harris? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
William Harris is listed as Senior Applied Scientist at Amazon Web Services (AWS), a with 72973 employees, based in Portland, Oregon, United States. AeroLeads shows a work email signal at cs.wisc.edu and a matched LinkedIn profile for William Harris.
William Harris previously worked as Senior Software Engineer at Google and Principal Investigator at Galois. William Harris holds Phd, Computer Science, Mathematics from University Of Wisconsin-Madison.
Company email context
Email format at Amazon Web Services (AWS)
This section adds company-level context without repeating William Harris's masked contact details.
wharris@cs.wisc.edu
76% confidence
AeroLeads found 1 current-domain work email signal for William Harris. Compare company email patterns before reaching out.
Profile bio
About William Harris
I research the verification and synthesis of provably-correct and secure programs.
Listed skills include Programming, Algorithms, Latex, Programming Languages, and 4 others.
Current workplace
William Harris's current company
Company context helps verify the profile and gives searchers a useful next step.
Amazon Web Services (Aws)
Employees
72973
AeroLeads page
10 roles
William Harris work experience
A career timeline built from the work history available for this profile.
Senior Software Engineer
Primary Team: Android Security & Privacy: develop automatic static analyses for detecting malware.Contributor: deploy verified cryptographic code in BoringSSL.
Jul 2022 - Dec 2024
Principal Investigator
Galois
Principal Investigator leading research in the verification and synthesis of provably correct and secure programs.
Jan 2018 - Oct 2023
Assistant Professor
Georgia Institute Of Technology
Research: program analysis and software security.Teaching: graduate and senior undergraduate courses on software security, program verification, and compiler design.
Sep 2014 - Dec 2017
Research Assistant
Research application of formal methods to the analysis and synthesis of secure system software.
Sep 2007 - Sep 2014
Research Assistant Intern
Microsoft Research, Redmond
Design and develop a synthesizer of Excel macros from user-provided examples.
Jun 2010 - Sep 2010
Research Assistant Intern
Microsoft Research India
Design and develop an automatic technique for proving program termination.
May 2009 - Aug 2009
Research Assistant Intern
Design and develop an automated technique for proving program safety.
Jun 2008 - Aug 2008
Software Engineer Intern
Develop a software profiling tool that finds correlations between high-level performance metrics and low-level hardware events.
Jun 2007 - Aug 2007
Teaching Assistant
Teaching assistant for the following courses:CS 180: Introduction to ProgrammingMA 366: Ordinary Differential Equations
Jan 2005 - May 2007
3 education records
William Harris education
Phd, Computer Science, Mathematics
Master Of Science (M.S.), Computer Science, 4.000
Bs, Computer Science, Mathematics
FAQ
Frequently asked questions about William Harris
Quick answers generated from the profile data available on this page.
What company does William Harris work for?
William Harris works for Amazon Web Services (AWS).
What is William Harris's role at Amazon Web Services (AWS)?
William Harris is listed as Senior Applied Scientist at Amazon Web Services (AWS).
What is William Harris's email address?
AeroLeads has found 1 work email signal at @cs.wisc.edu for William Harris at Amazon Web Services (AWS).
Where is William Harris based?
William Harris is based in Portland, Oregon, United States while working with Amazon Web Services (AWS).
What companies has William Harris worked for?
William Harris has worked for Amazon Web Services (Aws), Google, Galois, Georgia Institute Of Technology, and University Of Wisconsin-Madison.
How can I contact William Harris?
You can use AeroLeads to view verified contact signals for William Harris at Amazon Web Services (AWS), including work email, phone, and LinkedIn data when available.
What schools did William Harris attend?
William Harris holds Phd, Computer Science, Mathematics from University Of Wisconsin-Madison.
What skills is William Harris known for?
William Harris is listed with skills including Programming, Algorithms, Latex, Programming Languages, Ocaml, Llvm, Program Analysis, and Program Synthesis.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialPeople with similar names
Check these profiles if this is not the William Harris you were looking for.
View similar profiles
