# Zachary Tatlock

> computer scientist and academic

**Wikidata**: [Q102416974](https://www.wikidata.org/wiki/Q102416974)  
**Source**: https://4ort.xyz/entity/zachary-tatlock

## Summary
Zachary Tatlock is a computer scientist and academic known for his work in programming languages and software verification. He is a professor at the University of Washington and has mentored numerous PhD students in computer science.

## Biography
- Born: Not specified
- Nationality: Not specified
- Education: PhD from University of California, San Diego; education at Purdue University
- Known for: Research in programming languages and software verification
- Employer(s): University of Washington
- Field(s): Computer science, programming languages, software verification

## Contributions
Zachary Tatlock is a professor at the University of Washington's Paul G. Allen School of Computer Science & Engineering, where he conducts research in programming languages and software verification. His work focuses on building tools and techniques to help developers write more reliable software. Tatlock has mentored numerous PhD students who have gone on to successful careers in academia and industry, including Pavel Panchekha, Jared Graham Roesch, and Douglas Woos. His research contributions have advanced the field of formal methods and helped improve software reliability through verification techniques.

## FAQs
### Q: What is Zachary Tatlock's primary research area?
A: Zachary Tatlock specializes in programming languages and software verification, focusing on building tools to help developers write more reliable software.

### Q: Where does Zachary Tatlock work?
A: Zachary Tatlock is a professor at the University of Washington's Paul G. Allen School of Computer Science & Engineering.

### Q: Who was Zachary Tatlock's doctoral advisor?
A: Sorin Lerner was Zachary Tatlock's doctoral advisor at the University of California, San Diego.

## Why They Matter
Zachary Tatlock's work in programming languages and software verification has contributed to making software more reliable and secure. Through his research and mentorship of PhD students, he has helped advance formal methods in computer science. His tools and techniques for software verification have practical applications in improving code quality and reducing bugs in critical systems. The students he has mentored continue to influence the field, extending his impact through their own research and teaching.

## Notable For
- Professor at University of Washington's Paul G. Allen School of Computer Science & Engineering
- Mentor to numerous successful PhD students in computer science
- Research contributions in programming languages and software verification
- Development of tools for improving software reliability
- Active contributor to formal methods in computer science

## Body
### Academic Career
Zachary Tatlock is currently employed as a professor at the University of Washington, where he conducts research and teaches in the Paul G. Allen School of Computer Science & Engineering. His academic work focuses on programming languages and software verification.

### Research Focus
Tatlock's research centers on building tools and techniques to help developers write more reliable software. His work in software verification aims to improve code quality and reduce bugs in critical systems through formal methods.

### Mentorship
Tatlock has mentored numerous PhD students who have completed their doctorates under his supervision at the University of Washington. His doctoral students include Eric Alexander Mullen, Stuart Pernsteiner, Konstantin Weitz, Pavel Panchekha, Jared Graham Roesch, and Douglas Woos.

### Education
Tatlock completed his doctoral studies at the University of California, San Diego, where Sorin Lerner served as his doctoral advisor. He also has educational connections to Purdue University.

### Professional Recognition
Tatlock maintains an active online presence through his website (ztatlock.net) and Twitter account (@ztatlock). He has been assigned an MR Author ID (931936) and is listed in various academic databases including Google Scholar, Library of Congress, and Mathematics Genealogy Project.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Zachary Tatlock",
  "jobTitle": "Professor of Computer Science",
  "worksFor": {
    "@type": "Organization",
    "name": "University of Washington"
  },
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "University of California, San Diego"
    },
    {
      "@type": "EducationalOrganization",
      "name": "Purdue University"
    }
  ],
  "knowsAbout": [
    "Computer Science",
    "Programming Languages",
    "Software Verification"
  ],
  "sameAs": [
    "https://ztatlock.net/",
    "https://scholar.google.com/citations?user=jz2Tvk4AAAAJ"
  ],
  "description": "Computer scientist and academic known for research in programming languages and software verification"
}

## References

1. Mathematics Genealogy Project
2. [Source](https://ztatlock.net/ztatlock-cv.pdf)
3. WorldCat
4. Virtual International Authority File