Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Zachary Tatlock

Registered user since Tue 17 Feb 2015

Name: Zachary Tatlock

Bio: I am an Assistant Professor in the Department of Computer Science and Engineering at the University of Washington, WA, USA.

Research Interests: 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.

Affiliation: University of Washington

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


SPLASH 2014Session Chair of Dynamic Optimization (part of OOPSLA)
Committee Member in External Review Committee within the OOPSLA-track
Show activities from other conferences

SPLASH 2014-profile
View general profile