Dexter Kozen

E239160

American mathematician computer science researcher person theoretical computer scientist

Dexter Kozen is an American theoretical computer scientist known for his influential work in logic in computer science, automata theory, and the semantics of programming languages.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (1)

Label	Occurrences
Dexter Kozen canonical	8

How this entity was disambiguated

This entity first appeared as the object of triple T2169584 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: Dexter Kozen
Context triple: [Edmund M. Clarke, doctoralAdvisor, Dexter Kozen]

A. Andrew G. Myers
Andrew G. Myers is an American organic chemist renowned for his contributions to complex molecule synthesis and medicinal chemistry.
B. John Knill
John Knill is a distinguished geologist recognized for his significant contributions to the field, as evidenced by honors such as the William Smith Medal.
C. Johannes Eisermann
Johannes Eisermann is a scholar known for his professorship at the European University Viadrina in Frankfurt (Oder), where he has made notable academic contributions.
D. David M. Brown
David M. Brown was a U.S. Navy captain and NASA astronaut who served as a mission specialist on the ill-fated Space Shuttle Columbia STS-107 mission.
E. Richard Lipton
Richard Lipton is an American computer scientist known for his influential work in theoretical computer science and cryptography, including contributions to complexity theory and algorithm design.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: Dexter Kozen
Target entity description: Dexter Kozen is an American theoretical computer scientist known for his influential work in logic in computer science, automata theory, and the semantics of programming languages.

A. Andrew G. Myers
Andrew G. Myers is an American organic chemist renowned for his contributions to complex molecule synthesis and medicinal chemistry.
B. John Knill
John Knill is a distinguished geologist recognized for his significant contributions to the field, as evidenced by honors such as the William Smith Medal.
C. Johannes Eisermann
Johannes Eisermann is a scholar known for his professorship at the European University Viadrina in Frankfurt (Oder), where he has made notable academic contributions.
D. David M. Brown
David M. Brown was a U.S. Navy captain and NASA astronaut who served as a mission specialist on the ill-fated Space Shuttle Columbia STS-107 mission.
E. Richard Lipton
Richard Lipton is an American computer scientist known for his influential work in theoretical computer science and cryptography, including contributions to complexity theory and algorithm design.
F. None of above. chosen

Statements (49)

Predicate	Object
instanceOf	American mathematician ⓘ computer science researcher ⓘ person ⓘ theoretical computer scientist ⓘ
almaMater	Cornell University ⓘ
awardReceived	ACM Fellow ⓘ linked to: Fellow of the Association for Computing Machinery Guggenheim Fellowship ⓘ LICS Test-of-Time Award ⓘ Sloan Research Fellowship ⓘ linked to: Sloan Research Fellowships
citizenship	United States ⓘ linked to: United States of America
degree	PhD in computer science ⓘ
doctoralAdvisor	Juraj Hromkovič ⓘ
employer	Cornell University ⓘ
field	automata theory ⓘ logic in computer science ⓘ mathematical logic ⓘ semantics of programming languages ⓘ theoretical computer science ⓘ
hasAcademicDiscipline	computer science ⓘ mathematics ⓘ
hasAcademicRank	Joseph Newton Pew, Jr. Professor in Engineering ⓘ professor ⓘ
knownFor	Kleene algebra with tests ⓘ linked to: Kleene algebra algorithms and complexity theory ⓘ dynamic logic ⓘ mu-calculus ⓘ work in automata theory ⓘ work in logic in computer science ⓘ work in semantics of programming languages ⓘ
language	English ⓘ
memberOf	Association for Computing Machinery ⓘ IEEE Computer Society ⓘ
name	Dexter Kozen ⓘ
nationality	United States ⓘ linked to: United States of America
notableWork	Automata and Computability (textbook) ⓘ The Design and Analysis of Algorithms (textbook) ⓘ linked to: The Design and Analysis of Computer Algorithms Theory of Computation (textbook) ⓘ linked to: Elements of the Theory of Computation
occupation	computer scientist ⓘ mathematician ⓘ professor ⓘ
researchArea	algebraic methods in computer science ⓘ decision procedures ⓘ formal methods ⓘ program verification ⓘ
teaches	algorithms ⓘ logic in computer science ⓘ theory of computation ⓘ
workInstitution	Cornell University Department of Computer Science ⓘ Cornell University Department of Mathematics ⓘ