Write a Blog >>
Zachary Tatlock

Registered user since Tue 17 Feb 2015

Name: Zachary Tatlock

Bio: Assistant Professor at UW. My research seeks to improve software reliability and security by developing new tools that help ensure correctness. My students and I tackle these problems on a variety of fronts, from fully formally verifying critical platforms like the web browser to developing novel algorithms that automatically check compiler optimizations. We draw on a diverse array of tools and techniques to address these challenges, including proof assistants, SMT solvers, translation validation, and type systems. While we spend many hours working out proofs on the whiteboard, we also like to get our hands dirty and build real, large systems. We get free food when we work late.

Country: United States

Affiliation: University of Washington

Personal website: https://homes.cs.washington.edu/~ztatlock/

Research interests: Programming Languages

Contributions

CPP 2016Author of Planning for Change in a Formal Verification of the Raft Consensus Protocol within the CPP-track
Committee Member in Program Committee within the CPP-track
POPL 2016ERC member in External Reviewing Committee
Session Chair of POPL SRC Posters and Reception (part of SRC)
ERC member in External Reviewing Committee within the Research Papers-track
Student Research Competition Chair in Organizing Committee
Show activities from other conferences

POPL 2016-profile
View general profile