Zachary Tatlock

University of Washington

Names

Zachary Tatlock

Emails

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

Education & Career History

Associate Professor
University of Washington (washington.edu)
2019Present
 
Assistant Professor
University of Washington (washington.edu)
20132019
 
PhD student
University of California, San Diego (ucsd.edu)
20072014
 

Advisors, Relations & Conflicts

PhD Advisor
2007Present
 

Expertise

Compilers
Present
 
Formal Verification
Present
 
Fabrication
Present