AeroLeads people directory · profile
Zachary Tatlock Email & Phone Number
Associate Professor
at
University of Washington
1 work email found
@washington.edu
LinkedIn matched
✓ Verified July 2026
4 data sources
Profile completeness 100%
Current company
Role
Associate Professor
Location
Seattle, Washington, United States
Who is Zachary Tatlock? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Zachary Tatlock is listed as Associate Professor at University of Washington, based in Seattle, Washington, United States. AeroLeads shows a work email signal at washington.edu and a matched LinkedIn profile for Zachary Tatlock.
Zachary Tatlock previously worked as Assistant Professor at University Of Washington and Compilers Liaison at Octoml. Zachary Tatlock holds Doctor Of Philosophy (Phd), Computer Science from Uc San Diego.
Company email context
Email format at University of Washington
This section adds company-level context without repeating Zachary Tatlock's masked contact details.
{first_initial}{last}@washington.edu
86% confidence
AeroLeads found 1 current-domain work email signal for Zachary Tatlock. Compare company email patterns before reaching out.
Profile bio
About Zachary Tatlock
My goal is to help students become great computer scientists. On the research front, I work towards this goal with my students in the PLSE research group. On the education front, I work towards this goal by teaching courses on programming languages and related topics.My expertise is rooted in formal verification, especially of compilers. As my students develop their own research vision, we branch out across diverse domains. Our work is unified by themes of making it easier to write tricky code and figuring out how to ensure such programs are correct. We rigorously prove our results and always build real, working systems.
Listed skills include Formal Verification, Compilers, Domain Specific Languages, Program Analysis, and 14 others.
Current workplace
Zachary Tatlock's current company
Company context helps verify the profile and gives searchers a useful next step.
7 roles · 20 years
Zachary Tatlock work experience
A career timeline built from the work history available for this profile.
Associate Professor
Current
2019 - Present
~7 yrs 6 mos
Assistant Professor
2013 - 2019
~6 yrs
Compilers Liaison
Current
Sep 2019 - Present
Graduate Researcher
Compiler Correctness, Formal Verification, Theorem Proving, Domain Specific Languages
2007 - 2013
~6 yrs
Research Intern
Microsoft Research India
Concurrent Program Testing and Analysis
Jun 2010 - Oct 2010
Jun 2007 - Sep 2007
3 education records
Zachary Tatlock education
Doctor Of Philosophy (Phd), Computer Science
Uc San Diego
Bachelor Of Science (Bs), Computer Science
Purdue University
Bachelor Of Science (Bs), Mathematics
Purdue University
FAQ
Frequently asked questions about Zachary Tatlock
Quick answers generated from the profile data available on this page.
What company does Zachary Tatlock work for?
Zachary Tatlock works for University of Washington.
What is Zachary Tatlock's role at University of Washington?
Zachary Tatlock is listed as Associate Professor at University of Washington.
What is Zachary Tatlock's email address?
AeroLeads has found 1 work email signal at @washington.edu for Zachary Tatlock at University of Washington.
Where is Zachary Tatlock based?
Zachary Tatlock is based in Seattle, Washington, United States while working with University of Washington.
What companies has Zachary Tatlock worked for?
Zachary Tatlock has worked for University Of Washington, Octoml, Uc San Diego, Microsoft Research India, and Arxan Technologies.
How can I contact Zachary Tatlock?
You can use AeroLeads to view verified contact signals for Zachary Tatlock at University of Washington, including work email, phone, and LinkedIn data when available.
What schools did Zachary Tatlock attend?
Zachary Tatlock holds Doctor Of Philosophy (Phd), Computer Science from Uc San Diego.
What skills is Zachary Tatlock known for?
Zachary Tatlock is listed with skills including Formal Verification, Compilers, Domain Specific Languages, Program Analysis, Theorem Proving, Coq, Programming, and Research.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial