Zachary Tatlock

University of Washington

Names

Zachary Tatlock

Emails

****@cs.washington.edu
,
****@gmail.com

Personal Links

Education & Career 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
Sorin Lerner
****@cs.ucsd.edu
2007 – Present
 

Expertise

Compilers
Present
 
Formal Verification
Present
 
Fabrication
Present