Dexter Kozen

American computer scientist
Person human Q5268410
Press Enter · cited answer in seconds

Dexter Kozen

Summary

Dexter Kozen is a human[1]. He was born on December 20, 1951[2]. He worked as a computer scientist[3]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (36 views/month, #7,290 of 1,000,298).[4]

Key Facts

  • Dexter Kozen was born on December 20, 1951[2].
  • Dexter Kozen held citizenship in United States[5].
  • Dexter Kozen worked as a computer scientist[3].
  • Dexter Kozen was employed by Cornell University[6].
  • Dexter Kozen's education included a stint at Dartmouth College[7].
  • Dexter Kozen's education included a stint at Cornell University[8].
  • Dexter Kozen's doctoral advisor was Juris Hartmanis[9].
  • Dexter Kozen received the EATCS award[10].
  • Dexter Kozen received the W. Wallace McDowell Award[11].
  • Dexter Kozen received the ACM Fellow[12].
  • Dexter Kozen received the Fellow of the American Association for the Advancement of Science[13].
  • Dexter Kozen received the Guggenheim Fellowship[14].
  • Dexter Kozen was a member of Association for Computing Machinery[15].
  • Dexter Kozen is recorded as male[16].
  • Dexter Kozen's instance of is recorded as human[17].
  • Dexter Kozen supervised Agnes Szanto as a doctoral student[18].
  • Dexter Kozen supervised Devdatt Padmakar Dubhashi as a doctoral student[19].
  • Dexter Kozen supervised Kjartan Stefansson as a doctoral student[20].
  • Dexter Kozen supervised Arthur Neal Glew as a doctoral student[21].
  • Dexter Kozen supervised David Spencer Pearson as a doctoral student[22].
  • Dexter Kozen supervised Sarah Spence Adams as a doctoral student[23].
  • Dexter Kozen supervised Douglas John Ierardi as a doctoral student[24].
  • Dexter Kozen supervised Christopher Hardin as a doctoral student[25].
  • Dexter Kozen supervised Kamal Aboul-Hosn as a doctoral student[26].
  • Dexter Kozen supervised Matthew T. Dickerson as a doctoral student[27].

Body

Origins and Family

Dexter Kozen was born on December 20, 1951[2].

Education

Educated at Dartmouth College[7], a private university[28], in United States[29], founded in 1769[30] and Cornell University[8], a private university[31], in United States[32], founded in 1865[33], headquartered in Ithaca[34]. Dexter Kozen's doctoral advisor was Juris Hartmanis[9].

Career and Affiliations

Dexter Kozen worked as a computer scientist[3]. Among his employers was Cornell University[6]. Doctoral students include Agnes Szanto[18], a mathematician[35]; Devdatt Padmakar Dubhashi[19]; Kjartan Stefansson[20]; Arthur Neal Glew[21]; David Spencer Pearson[22]; and Sarah Spence Adams[23].

Recognition

Awards received include EATCS award[10], a science award[36], founded in 2000[37]; W. Wallace McDowell Award[11], an award[38], founded in 1966[39]; ACM Fellow[12], a fellowship award[40]; Fellow of the American Association for the Advancement of Science[13], a fellowship award[41], in United States[42], founded in 1874[43]; and Guggenheim Fellowship[14], a fellowship grant[44], in United States[45], founded in 1925[46].

Why It Matters

Dexter Kozen ranks in the top 0.73% of human entities by monthly Wikipedia readership (36 views/month, #7,290 of 1,000,298).[4] He is known by 10 alternative names across languages and contexts.[47]

His notable doctoral advisees include Matthew T. Dickerson[48], a computer scientist[49], b. 1963[50], of United States[51].

FAQs

What did Dexter Kozen do for work?

Dexter Kozen worked as computer scientist[3].

Where did Dexter Kozen go to school?

Dexter Kozen was educated at Dartmouth College[7] and Cornell University[8].

What awards did Dexter Kozen receive?

Honors received include EATCS award[10], W. Wallace McDowell Award[11], ACM Fellow[12], and Fellow of the American Association for the Advancement of Science[13].

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [16] . Virtual International Authority File. Retrieved . wikidata.org.
  2. [5] . wikidata.org.
  3. [17] . wikidata.org.
  4. [7] . wikidata.org.
  5. [8] . wikidata.org.
  6. [3] . wikidata.org.
  7. [6] . engineering.cornell.edu. engineering.cornell.edu. Provenance: wikidata.org.
  8. [10] . eatcs.org. eatcs.org. Provenance: wikidata.org.
  9. [11] . computer.org. computer.org. Provenance: wikidata.org.
  10. [12] . awards.acm.org. Retrieved . awards.acm.org. Provenance: wikidata.org.
  11. [13] . aaas.org. aaas.org. Provenance: wikidata.org.
  12. [14] . wikidata.org.
  13. [9] . Mathematics Genealogy Project. wikidata.org.
  14. [18] . Mathematics Genealogy Project. wikidata.org.
  15. [19] . Mathematics Genealogy Project. wikidata.org.
  16. [20] . Mathematics Genealogy Project. wikidata.org.
  17. [21] . Mathematics Genealogy Project. wikidata.org.
  18. [22] . Mathematics Genealogy Project. wikidata.org.
  19. [23] . Mathematics Genealogy Project. wikidata.org.
  20. [24] . Mathematics Genealogy Project. wikidata.org.
  21. [25] . Mathematics Genealogy Project. wikidata.org.
  22. [26] . Mathematics Genealogy Project. wikidata.org.
  23. [27] . Mathematics Genealogy Project. wikidata.org.
  24. [15] . awards.acm.org. Retrieved . awards.acm.org. Provenance: wikidata.org.
  25. [2] . Freebase Data Dumps. wikidata.org.

Inverse relationships (entities pointing at this one)

  1. [48] . wikidata.org. → on this site

Inline context (facts about related entities)

  1. [28] . Wikidata. wikidata.org. → on this site
  2. [29] . Wikidata. wikidata.org. → on this site
  3. [30] . Wikidata. wikidata.org. → on this site
  4. [31] . Wikidata. wikidata.org. → on this site
  5. [32] . Wikidata. wikidata.org. → on this site
  6. [33] . Wikidata. wikidata.org. → on this site
  7. [34] . Wikidata. wikidata.org. → on this site
  8. [36] . Wikidata. wikidata.org. → on this site
  9. [37] . Wikidata. wikidata.org. → on this site
  10. [38] . Wikidata. wikidata.org. → on this site
  11. [39] . Wikidata. wikidata.org. → on this site
  12. [40] . Wikidata. wikidata.org. → on this site
  13. [41] . Wikidata. wikidata.org. → on this site
  14. [42] . Wikidata. wikidata.org. → on this site
  15. [43] . Wikidata. wikidata.org. → on this site
  16. [44] . Wikidata. wikidata.org. → on this site
  17. [45] . Wikidata. wikidata.org. → on this site
  18. [46] . Wikidata. wikidata.org. → on this site
  19. [35] . Wikidata. wikidata.org. → on this site
  20. [49] . Wikidata. wikidata.org. → on this site
  21. [50] . Wikidata. wikidata.org. → on this site
  22. [51] . Wikidata. wikidata.org. → on this site

Class ancestry

  1. [1] . Wikidata. wikidata.org.

Aggregate / graph-position facts

  1. [4] . Wikimedia Foundation. dumps.wikimedia.org.
  2. [47] . Wikidata aliases. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Dexter Kozen. Retrieved March 9, 2026, from https://4ort.xyz/entity/dexter-kozen
MLA “Dexter Kozen.” 4ort.xyz Knowledge Graph, 4ort.xyz, 9 Mar. 2026, https://4ort.xyz/entity/dexter-kozen.
BibTeX @misc{4ortxyz_dexter-kozen_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Dexter Kozen}}, year = {2026}, url = {https://4ort.xyz/entity/dexter-kozen}, note = {Accessed: 2026-03-09}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Dexter Kozen — https://4ort.xyz/entity/dexter-kozen (retrieved 2026-03-09)

Canonical URL: https://4ort.xyz/entity/dexter-kozen · Last refreshed:

Edit History

Rolling log of changes to this entity's Wikidata record. Values shown reflect the current state of each edited property — follow the history link to see the precise diff for any edit.

  1. 11d ago · Epìdosis · 2026-05-20 view diff on Wikidata ↗
    Sbn author id AQ1V006554
    Given name Dexter
    Birth date
    Mathematics genealogy project id
    + 86 other properties edited (see Wikidata diff for full list)
    "/* wbeditentity-update:0| */ QuickStatements 3.0 [[:toollabs:qs-dev/batch/32116|batch #32116]]: import P21 and P106 from GND (29)"
Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.