Dexter Kozen

URI: https://gptkb.org/entity/Dexter_Kozen
GPTKB entity
Statements (34)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:Cornell_University
gptkbp:awardReceived gptkb:ACM_Fellow
gptkb:Fellow_of_the_American_Academy_of_Arts_and_Sciences
gptkb:Guggenheim_Fellowship
gptkb:Stephen_H._Weiss_Presidential_Fellow
gptkb:Fellow_of_the_European_Association_for_Theoretical_Computer_Science
gptkbp:birthYear 1951
gptkbp:doctoralAdvisor gptkb:John_Hopcroft
gptkbp:doctoralStudent gptkb:Thomas_Henzinger
gptkb:Alexandra_Silva
gptkb:Dexter_C._Kozen
gptkbp:employer gptkb:Cornell_University
gptkbp:field gptkb:complexity_theory
gptkb:logic
gptkb:programming_language
gptkb:Kleene_algebra
automata theory
theoretical computer science
gptkbp:hasWritten gptkb:Automata_and_Computability_(book)
gptkb:Theory_of_Computation_(book)
https://www.w3.org/2000/01/rdf-schema#label Dexter Kozen
gptkbp:memberOf gptkb:American_Academy_of_Arts_and_Sciences
gptkb:Association_for_Computing_Machinery
gptkbp:nationality gptkb:American
gptkbp:notableFor gptkb:Kleene_algebra_with_tests
gptkb:modal_μ-calculus
work on automata theory
work on complexity theory
gptkbp:occupation gptkb:computer_scientist
gptkb:professor
gptkbp:taughtAt gptkb:Cornell_University
gptkbp:bfsParent gptkb:Modal_μ-calculus
gptkbp:bfsLayer 5