# Dexter Kozen

> American computer scientist

**Wikidata**: [Q5268410](https://www.wikidata.org/wiki/Q5268410)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Dexter_Kozen)  
**Source**: https://4ort.xyz/entity/dexter-kozen

## Summary
Dexter Kozen is an American computer scientist known for his groundbreaking contributions to computational complexity, algebraic computations, logics of programs, and verification. He is a professor at Cornell University and has received numerous prestigious awards, including the ACM Fellow and the W. Wallace McDowell Award.

## Biography
- Born: December 20, 1951
- Nationality: United States
- Education: Dartmouth College, Cornell University
- Known for: Contributions to computational complexity, algebraic computations, logics of programs, and verification
- Employer(s): Cornell University
- Field(s): Computer Science

## Contributions
Dexter Kozen has made significant contributions to the field of computer science, particularly in the areas of computational complexity, algebraic computations, logics of programs, and verification. His work has led to the development of new algorithms and theoretical frameworks that have advanced the understanding and application of computer science. Kozen has published numerous influential papers and books, including "The Design and Analysis of Algorithms" and "Automata and Computability." His research has been recognized with several awards, including the EATCS Award in 2016 and the W. Wallace McDowell Award in 2016. Additionally, he has supervised several doctoral students who have gone on to make their own significant contributions to the field.

## FAQs
### Q: What is Dexter Kozen known for?
A: Dexter Kozen is known for his groundbreaking contributions to computational complexity, algebraic computations, logics of programs, and verification.

### Q: Where does Dexter Kozen work?
A: Dexter Kozen is a professor at Cornell University.

### Q: What awards has Dexter Kozen received?
A: Dexter Kozen has received several prestigious awards, including the ACM Fellow, the EATCS Award, the W. Wallace McDowell Award, and the Guggenheim Fellowship.

### Q: Who were Dexter Kozen's doctoral advisors?
A: Dexter Kozen's doctoral advisor was Juris Hartmanis.

### Q: What are some of Dexter Kozen's notable publications?
A: Some of Dexter Kozen's notable publications include "The Design and Analysis of Algorithms" and "Automata and Computability."

## Why They Matter
Dexter Kozen's work has significantly advanced the field of computer science, particularly in the areas of computational complexity, algebraic computations, logics of programs, and verification. His research has led to the development of new algorithms and theoretical frameworks that have been widely adopted and built upon by other researchers. Kozen's contributions have not only expanded the theoretical understanding of computer science but have also had practical applications in the design and analysis of algorithms. His influence can be seen in the work of his numerous doctoral students, many of whom have gone on to make their own significant contributions to the field. Without Kozen's work, the field of computer science would be missing several key theoretical and practical advancements.

## Notable For
- ACM Fellow (2003)
- EATCS Award (2016)
- W. Wallace McDowell Award (2016)
- Guggenheim Fellowship (1991)
- Fellow of the American Association for the Advancement of Science (2008)

## Body
### Early Life and Education
Dexter Kozen was born on December 20, 1951. He earned his undergraduate degree from Dartmouth College and his doctoral degree from Cornell University, where he was advised by Juris Hartmanis.

### Career and Research
Kozen is a professor at Cornell University, where he has made significant contributions to the field of computer science. His research focuses on computational complexity, algebraic computations, logics of programs, and verification. He has published numerous influential papers and books, including "The Design and Analysis of Algorithms" and "Automata and Computability."

### Awards and Honors
Kozen has received several prestigious awards for his work, including:
- ACM Fellow (2003)
- EATCS Award (2016)
- W. Wallace McDowell Award (2016)
- Guggenheim Fellowship (1991)
- Fellow of the American Association for the Advancement of Science (2008)

### Doctoral Students
Kozen has supervised several doctoral students who have gone on to make their own significant contributions to the field, including:
- Agnes Szanto
- Devdatt Padmakar Dubhashi
- Kjartan Stefansson
- Arthur Neal Glew
- David Spencer Pearson
- Sarah Spence Adams
- Douglas John Ierardi
- Christopher Hardin
- Kamal Aboul-Hosn
- Matthew T. Dickerson

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Dexter Kozen",
  "jobTitle": "Computer Scientist",
  "worksFor": {"@type": "Organization", "name": "Cornell University"},
  "nationality": {"@type": "Country", "name": "United States"},
  "birthDate": "1951-12-20",
  "alumniOf": [{"@type": "EducationalOrganization", "name": "Dartmouth College"}, {"@type": "EducationalOrganization", "name": "Cornell University"}],
  "knowsAbout": ["Computational Complexity", "Algebraic Computations", "Logics of Programs", "Verification"],
  "sameAs": ["https://www.wikidata.org/wiki/Q5268338", "https://en.wikipedia.org/wiki/Dexter_Kozen"],
  "description": "American computer scientist known for his contributions to computational complexity, algebraic computations, logics of programs, and verification."
}

## References

1. Virtual International Authority File
2. [Source](https://www.engineering.cornell.edu/faculty-directory/dexter-c-kozen)
3. [Source](https://www.eatcs.org/index.php/home/1-news/2227-press-release-for-the-eatcs-award-2016-to-dexter-kozen)
4. [Source](https://www.computer.org/volunteering/awards/mcdowell)
5. [Source](https://awards.acm.org/fellows/award-recipients)
6. [Source](https://www.aaas.org/fellows/historic?field_last_name_value=All&field_year_elected=2008&page=8)
7. Mathematics Genealogy Project
8. International Standard Name Identifier
9. Freebase Data Dumps
10. IdRef
11. CONOR.SI
12. National Library of Israel Names and Subjects Authority File
13. Catalogo of the National Library of India