Dexter C. Kozen

URI: https://gptkb.org/entity/Dexter_C._Kozen

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:Cornell_University
gptkbp:author	gptkb:Theory_of_Computation Automata and Computability The Design and Analysis of Algorithms
gptkbp:awardReceived	gptkb:ACM_Fellow gptkb:Fellow_of_the_American_Association_for_the_Advancement_of_Science gptkb:Guggenheim_Fellowship gptkb:Fellow_of_the_European_Association_for_Theoretical_Computer_Science
gptkbp:birthYear	1951
gptkbp:doctoralAdvisor	gptkb:John_Hopcroft
gptkbp:doctoralStudent	gptkb:David_Harel gptkb:Moshe_Vardi gptkb:Thomas_Henzinger gptkb:Orna_Kupferman gptkb:Neil_Immerman Dexter Kozen Jr.
gptkbp:employer	gptkb:Cornell_University
gptkbp:field	gptkb:logic gptkb:programming_language gptkb:Kleene_algebra automata theory theoretical computer science
https://www.w3.org/2000/01/rdf-schema#label	Dexter C. Kozen
gptkbp:memberOf	gptkb:American_Mathematical_Society gptkb:Association_for_Computing_Machinery
gptkbp:nationality	gptkb:American
gptkbp:notableFor	gptkb:Kleene_algebra_with_tests gptkb:modal_μ-calculus dynamic logic
gptkbp:occupation	gptkb:computer_scientist gptkb:professor
gptkbp:taughtAt	gptkb:Cornell_University
gptkbp:bfsParent	gptkb:Dexter_Kozen
gptkbp:bfsLayer	6