Zachary Tatlock

Zachary Tatlock Email and Phone Number

Associate Professor @ University of Washington
Seattle, WA, US
Zachary Tatlock's Location
Seattle, Washington, United States, United States
Zachary Tatlock's Contact Details

Zachary Tatlock work email

Zachary Tatlock personal email

n/a
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.

Zachary Tatlock's Current Company Details
University of Washington

University Of Washington

View
Associate Professor
Seattle, WA, US
Zachary Tatlock Work Experience Details
  • University Of Washington
    Associate Professor
    University Of Washington
    Seattle, Wa, Us
    View
  • University Of Washington
    Associate Professor
    University Of Washington 2019 - Present
    Seattle, Wa, Us
    View
  • University Of Washington
    Assistant Professor
    University Of Washington 2013 - 2019
    Seattle, Wa, Us
    View
  • Octoml
    Compilers Liaison
    Octoml Sep 2019 - Present
    Seattle, Washington, Us
    View
  • Uc San Diego
    Graduate Researcher
    Uc San Diego 2007 - 2013
    La Jolla, Ca, Us
    Compiler Correctness, Formal Verification, Theorem Proving, Domain Specific Languages
    View
  • Microsoft Research India
    Research Intern
    Microsoft Research India Jun 2010 - Oct 2010
    Concurrent Program Testing and Analysis
  • Arxan Technologies
    Research Intern
    Arxan Technologies Jun 2007 - Sep 2007
    San Francisco, California, Us
    Code Obfuscation Backend for Ada in GCC
    View

Zachary Tatlock Skills

Formal Verification Compilers Domain Specific Languages Program Analysis Theorem Proving Coq Programming Research Programming Languages Algorithms Latex C Distributed Systems Linux Computer Science Software Engineering Python Software Development

Zachary Tatlock Education Details

  • Uc San Diego
    Uc San Diego
    Computer Science
  • Purdue University
    Purdue University
    Computer Science
  • Purdue University
    Purdue University
    Mathematics

Frequently Asked Questions about Zachary Tatlock

What company does Zachary Tatlock work for?

Zachary Tatlock works for University Of Washington

What is Zachary Tatlock's role at the current company?

Zachary Tatlock's current role is Associate Professor.

What is Zachary Tatlock's email address?

Zachary Tatlock's email address is ztatlock@uw.edu

What schools did Zachary Tatlock attend?

Zachary Tatlock attended Uc San Diego, Purdue University, Purdue University.

What skills is Zachary Tatlock known for?

Zachary Tatlock has skills like Formal Verification, Compilers, Domain Specific Languages, Program Analysis, Theorem Proving, Coq, Programming, Research, Programming Languages, Algorithms, Latex, C.

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.