Zachary Tatlock

Zachary Tatlock is an Associate Professor at the Paul G. Allen School of Computer Science & Engineering, University of Washington, with a focus on Programming Languages. His research spans formal verification, compiler design, floating-point accuracy, and machine learning frameworks, unified by themes of making tricky code easier to write and ensuring correctness through rigorous proofs and empirical systems.

His recent work includes unifying Datalog and equality saturation (PLDI 2023), exploring LLM-driven document markup (Programming with AI 2024), and advancing floating-point error analysis via interactive tools like Odyssey (UIST 2023). He leads the UW PLSE research group and co-organizes events like EGRAPHS and FPTalks.

Key collaborations include verifying distributed systems in CakeML (ECOOP 2022) and developing egglog, an e-graph library with relational extensions (PLDI 2023). His teaching includes Solver-Aided Programming (CSE 507) and Grad PL (CSE 505), emphasizing both Greek (formalism) and graphs (empiricism).