Zachary Tatlock

Associate Professor, University of Washington

  • Joined July 2019

Names

Zachary Tatlock

Emails

****@cs.washington.edu (Confirmed)
,
****@gmail.com (Confirmed)

Personal Links

Career & Education History

Associate Professor
University of Washington (washington.edu)
2019 – Present
 
Assistant Professor
University of Washington (washington.edu)
2013 – 2019
 
PhD student
University of California, San Diego (ucsd.edu)
2007 – 2014
 

Advisors, Relations & Conflicts

PhD Advisor
2007 – Present
 

Expertise

Compilers
Present
 
Formal Verification
Present
 
Fabrication
Present