GradNova
Home
Find Faculty
Universities
Research
Home
/
Universities
/
University of Washington
/
Zachary Tatlock
Z
Zachary Tatlock
Professor
Computer Science
,
University of Washington
Research Interests
Fabrication
Formal Methods
Programming Languages
Parallel Computing and Optimization Techniques
Logic, Programming, and Type Systems
Formal Methods in Verification
Software Testing and Debugging Techniques
Security and Verification in Computing
Academic Metrics
Links
Grants