Zachary Tatlock / Students

Focus on the students, since graduating great students means you’ll produce great research, while focusing on the research may or may not produce great students.¹

– Nico Habermann

Current Students

Haobin Ni, Postdoctoral Scholar
Amy Zhu, PhD Student
- co-advised with Adriana Schulz
Anjali Pal, PhD Student
Yihong Zhang, PhD Student
- co-advised with Dan Suciu
Oliver Flatt, PhD Student
Kevin Mu, PhD Student
Brett Saiki, PhD Student
Noah Huck, BS Student

★ I was honored to receive a Faculty Appreciation for Career Education & Training (FACET) Award from the University of Washington based on nominations from my students in 2020.

Completed Postdoctoral Mentoring

Max Willsey, Postdoc 2023
- Assistant Professor at UC Berkeley

Graduated Doctoral Students

Edward Misback, PhD 2025
- Thesis: Code in Context: Keeping Developer Context and Interfaces on Evolving Software
- co-advised with Steve Tanimoto
Gus Smith, PhD 2024
- Thesis: Generation of Compiler Backends From Formal Models of Hardware
Steven Lyubomirsky, PhD 2022
- Thesis: Compiler and Runtime Techniques for Optimizing Deep Learning Applications
- Senior Machine Learning Systems Engineer at OctoML
Chandrakana Nandi, PhD 2021
- Thesis: Programming Language Tools and Techniques for Computational Fabrication
- co-advised with Dan Grossman
- Principal Researcher at Certora
Bill Zorn, PhD 2021
- Thesis: Rounding
- co-advised with Dan Grossman
- Numerical Hardware Architect at Intel
James Wilcox, PhD 2021
- Thesis: Compositional and Automated Verification of Distributed Systems
- CTO at Certora (2019)
- Assistant Teaching Professor at the University of Washington (2022)
Jared Roesch, PhD 2020
- Thesis: Principled Optimization Of Dynamic Neural Networks
- Co-founder and CTO at OctoML
Pavel Panchekha, PhD 2019
- Thesis: Automated Reasoning for Web Page Layout
- co-advised with Mike Ernst
- Assistant Professor at the University of Utah
Doug Woos, PhD 2019
- Thesis: A Step-through Debugger for Distributed Systems
- co-advised with Mike Ernst and Tom Anderson
- Lecturer at Brown University
Stuart Pernsteiner, PhD 2018
- Thesis: Practical Verification of Safety-Critical Systems
- co-advised with Mike Ernst
- Research & Engineering at Galois
Eric Mullen, PhD 2018
- Thesis: Pushing the Limits of Compiler Verification
- co-advised with Dan Grossman
- Google
Konstantin Weitz, PhD 2017
- Thesis: Formal Semantics and Scalable Verification for the Border Gateway Protocol using Proof Assistants and SMT Solvers
- co-advised with Mike Ernst
- Google
- Co-founder at Nexus

Graduated Masters Students

Andrew Cheung, MS 2024
- PhD Student at UCSD
Cynthia Richey, MS 2024
- PhD Student at UPenn
Brett Saiki, MS 2024
- PhD Student at the University of Washington
Yihong Zhang, MS 2022
- PhD Student at the University of Washington
Marisa Kirisame, MS 2020
- PhD Student at the University of Utah
Logan Weber, MS 2020
- PhD Student at MIT
Alex Sanchez-Stern, MS 2015
- PhD Student at UC San Diego

Graduated Bachelors Students

Alex Fischman, BS 2025
- Jane Street
Vishal Canumalla, BS 2024
- PhD Student at Stanford
Kirsten Graham, BS 2024
- Jane Street
Ryan Tjoa, BS 2024
- OCaml Compiler Team at Jane Street
Aditya Akhileshwaran, BS 2024
Varun Pradeep, BS 2024
Zhiyuan (Kevin) Yan, BS 2024
- MS Student at UCSD
Brett Saiki, BS 2023
- MS Student at the University of Washington
Caleb Chan, BS 2023
Andrew Cheung, BS 2023
- MS Student at the University of Washington
Cynthia Richey, BS 2023
- MS Student at the University of Washington
Andrew Liu, BS 2023
- Jane Street Capital
Mike He, BS 2022
- PhD Student at Princeton University
Yihong Zhang, BS 2021
- MS Student at the University of Washington
Adam Anderson, BS 2021
Taylor Blau, BS 2020
- GitHub
Josh Pollock, BS 2020
- PhD Student at MIT
Altan Haan, BS 2020
- PhD Student at UC Berkeley
Marisa Kirisame, BS 2019
- MS Student at the University of Washington
Logan Weber, BS 2019
- MS Student at the University of Washington
Jifan Zhang, BS 2019
- PhD Student at the University of Wisconsin
David Thien, BS 2019
- PhD Student at UC San Diego
Paul Curry, BS 2018
- Xnor.ai
- Apple
Melissa Hovik, BS 2018
- Instructor at the California Institute of Technology
Justin Adsuara, BS 2018
- Hilton Hotels
Chen Qiu, BS 2018
- Facebook
Adam Geller, BS 2018
- PhD Student at the University of British Columbia
Steve Anton, BS 2017
- Google
Ryan Doenges, BS 2017
- PhD Student at Cornell University
Miranda Edwards, BS 2017
- Cisco Meraki
Luke Nelson, BS 2017
- co-advised with Xi Wang
- PhD Student at the University of Washington
Keith Simmons, BS 2017
- Microsoft
Seth Pendergrass, BS 2016
- Microsoft
- Oculus VR
Daryl Zuniga, BS 2015
- co-advised with Dan Grossman
- Microsoft
Alex Sanchez-Stern, BS 2014
- MS Student at the University of Washington

Visiting Summer Students, Internships Mentored in Industry

Ian Briggs, PhD, Summer 2022 @ Amazon
- Developed Haploid for EqSat-driven SMT query simplification.
David Cao, BS, Summer 2022
- PhD Student at UC Berkeley
Oliver Flatt, BS, Summer 2021
- PhD Student at the University of Washington
Grace Oh, HS, Summer 2020
- BS Student at Princeton University
Adam Anderson, HS, Summer 2018
- BS Student at the University of Washington
Juliet Oh, HS, Summer 2016
- BS Student at Princeton University