Dexter Kozen

URI: https://gptkb.org/entity/Dexter_Kozen

GPTKB entity

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:theoretical_computer_science gptkb:complexity_theory gptkb:logic gptkb:programming_language gptkb:Kleene_algebra automata theory
gptkbp:hasWritten	gptkb:Automata_and_Computability_(book) gptkb:Theory_of_Computation_(book)
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:Propositional_Dynamic_Logic gptkb:Fred_B._Schneider gptkb:Jurisd_Hartmanis gptkb:alternating_Turing_machines
gptkbp:bfsLayer	7
http://www.w3.org/2000/01/rdf-schema#label	Dexter Kozen