Zachary Tatlock
Zachary Tatlock
University of Washington
Names
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