About: Dexter Kozen

Property	Value
dbo:academicDiscipline	dbr:Theoretical_computer_science
dbo:almaMater	dbr:Cornell_University dbr:Dartmouth_College
dbo:birthDate	1951-12-20 (xsd:date)
dbo:birthPlace	dbr:United_States
dbo:description	американський науковець у галузі комп'ютерних технологій (uk) American computer scientist (en) Amerikaans informaticus (nl) informaticien américain (fr) US-amerikanischer Informatiker (de) عالِم حاسوب من الولايات المتحدة الأمريكية (ar) informáticu teóricu estauxunidense (ast) ամերիկացի համակարգչային գիտության մասնագետ (hy)
dbo:doctoralAdvisor	dbr:Juris_Hartmanis
dbo:institution	dbr:Cornell_University dbr:Radboud_University_Nijmegen
dbo:knownFor	dbr:Automata_theory dbr:Kleene_algebra dbr:Dynamic_logic_(modal_logic)
dbo:wikiPageExternalLink	http://www.cs.duke.edu/brd/Music/Harmful/index2.html http://www.cs.cornell.edu/~kozen/
dbo:wikiPageWikiLink	dbr:Automata_theory dbc:American_computer_scientists dbr:Cornell_University dbr:Dartmouth_College dbr:Radboud_University_Nijmegen dbr:European_Association_for_Theoretical_Computer_Science dbr:Modal_μ-calculus dbc:1951_births dbc:Cornell_University_alumni dbc:Cornell_University_faculty dbc:Dartmouth_College_alumni dbc:Living_people dbr:Netherlands dbr:Guggenheim_Fellowship dbr:Algorithm dbc:Fellows_of_the_American_Association_for_the_Advancement_of_Science dbc:Theoretical_computer_scientists dbr:W._Wallace_McDowell_Award dbr:Computer_scientist dbr:Juris_Hartmanis dbr:Dynamic_logic_(modal_logic) dbr:Mathematical_logic dbc:Fellows_of_the_Association_for_Computing_Machinery dbr:Theory_of_computation dbr:Symposium_on_Logic_in_Computer_Science dbr:Computational_complexity dbr:List_of_Fellows_of_the_Association_for_Computing_Machinery dbr:The_Radboud_Excellence_Initiative
dbp:almaMater	dbr:Cornell_University dbr:Dartmouth_College
dbp:birthDate	1951-12-20 (xsd:date)
dbp:birthPlace	dbr:United_States
dbp:doctoralAdvisor	dbr:Juris_Hartmanis
dbp:fields	dbr:Theoretical_computer_science
dbp:knownFor	Dynamic logic (modal logic), Automata theory, Kleene algebra with tests (en)
dbp:name	Dexter Kozen (en)
dbp:spouse	Frances Kozen (en)
dbp:thesisTitle	Complexity of Finitely Presented Algebras (en)
dbp:thesisUrl	https://www.ecommons.cornell.edu/items/d6b63d24-1799-455b-a005-2e21b5a1721b
dbp:thesisYear	1977 (xsd:integer)
dbp:website	https://www.cs.cornell.edu/~kozen/
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Infobox_scientist dbt:Short_description
dbp:workplaces	dbr:Cornell_University dbr:Radboud_University_Nijmegen
dct:subject	dbc:Academic_staff_of_Radboud_University_Nijmegen dbc:American_theoretical_computer_scientists dbc:1951_births dbc:Cornell_University_alumni dbc:Cornell_University_faculty dbc:Dartmouth_College_alumni dbc:Living_people dbc:Fellows_of_the_American_Association_for_the_Advancement_of_Science dbc:Theoretical_computer_scientists dbc:Computer_scientists dbc:2003_fellows_of_the_Association_for_Computing_Machinery
gold:hypernym	dbr:Scientist
schema:sameAs	http://viaf.org/viaf/25829033
rdf:type	foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 wikidata:Q901 dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person
rdfs:label	Dexter Kozen (en) Dexter Kozen (de) Dexter Kozen (fr)
owl:sameAs	freebase:Dexter Kozen yago-res:Dexter Kozen http://d-nb.info/gnd/135740436 http://viaf.org/viaf/25829033 wikidata:Dexter Kozen dbpedia-de:Dexter Kozen dbpedia-fr:Dexter Kozen https://orcid.org/0000-0002-8007-4725 http://d-nb.info/gnd/151182744 http://d-nb.info/gnd/172195179 http://d-nb.info/gnd/17409096X https://dblp.org/pid/k/DexterKozen http://data.bibliotheken.nl/id/thes/p068814917 dbpedia-global:Dexter Kozen
prov:wasDerivedFrom	wikipedia-en:Dexter_Kozen?oldid=1281053955&ns=0
foaf:homepage	https://www.cs.cornell.edu/~kozen/
foaf:isPrimaryTopicOf	wikipedia-en:Dexter_Kozen
foaf:name	Dexter Kozen (en)
is dbo:doctoralStudent of	dbr:Juris_Hartmanis
is dbo:wikiPageWikiLink of	dbr:List_of_Cornell_University_faculty dbr:Real_closed_field dbr:List_of_people_by_Erdős_number dbr:European_Association_for_Theoretical_Computer_Science dbr:Kleene_algebra dbr:Alternating_finite_automaton dbr:Modal_μ-calculus dbr:Decider_(Turing_machine) dbr:Dense_order dbr:W._Wallace_McDowell_Award dbr:List_of_fellows_of_the_Association_for_Computing_Machinery dbr:Juris_Hartmanis dbr:Regular_expression dbr:Dynamic_logic_(modal_logic) dbr:Alternating_Turing_machine dbr:Matthew_T._Dickerson dbr:Pushdown_automaton dbr:P_(complexity) dbr:Symposium_on_Logic_in_Computer_Science dbr:Közen dbr:List_of_Guggenheim_Fellowships_awarded_in_1991 dbr:List_of_programming_language_researchers dbr:Social_software_(research_field) dbr:Ashok_K._Chandra dbr:Severe_Tire_Damage_(band) dbr:State_complexity dbr:Intersection_non-emptiness_problem dbr:List_of_Cornell_University_alumni_(natural_sciences)
is foaf:primaryTopic of	wikipedia-en:Dexter_Kozen