Dexter Kozen
E239160
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.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Dexter Kozen canonical | 5 |
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 |
Fellow of the Association for Computing Machinery
ⓘ
surface form:
ACM Fellow
Guggenheim Fellowship ⓘ LICS Test-of-Time Award ⓘ Sloan Research Fellowships ⓘ
surface form:
Sloan Research Fellowship
|
| citizenship |
United States of America
ⓘ
surface form:
United States
|
| 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
ⓘ
surface form:
Kleene algebra with tests
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 self-link ⓘ |
| nationality |
United States of America
ⓘ
surface form:
United States
|
| notableWork |
Automata and Computability (textbook)
ⓘ
The Design and Analysis of Computer Algorithms ⓘ
surface form:
The Design and Analysis of Algorithms (textbook)
Elements of the Theory of Computation ⓘ
surface form:
Theory of Computation (textbook)
|
| 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 ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Dexter Kozen Description of subject: 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.
Referenced by (5)
Full triples — surface form annotated when it differs from this entity's canonical label.