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

Max Willsey, Postdoctoral Scholar
Gus Smith, PhD Student
Amy Zhu, PhD Student
- co-advised with Adriana Schulz
Edward Misback, PhD Student
- co-advised with Steve Tanimoto
Anjali Pal, PhD Student
Yihong Zhang, PhD Student
- co-advised with Dan Suciu
Oliver Flatt, PhD Student
Kevin Mu, PhD Student
Brett Saiki, MS Student
Andrew Cheung, MS Student
Cynthia Richey, MS Student
Vishal Canumalla, BS Student
Caleb Chan, BS Student
Ryan Tjoa, BS Student
Aditya Akhileshwaran, BS Student
Varun Pradeep, BS Student
Zhiyuan (Kevin) Yan, 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.

Graduated Doctoral Students

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

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

Brett Saiki, BS 2023
- MS Student at the University of Washington
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