| http://dbpedia.org/ontology/abstract
|
Dexter Campbell Kozen (born December 20, 1 … Dexter Campbell Kozen (born December 20, 1951) is an American theoretical computer scientist. He is Joseph Newton Pew, Jr. Professor in Engineering at Cornell University. He received his B.A. from Dartmouth College in 1974 and his PhD in computer science in 1977 from Cornell University, where he was advised by Juris Hartmanis. He advised numerous Ph.D. students. He is a Fellow of the Association for Computing Machinery, a Guggenheim Fellow, and has received an Outstanding Innovation Award from IBM Corporation. He has also been named Faculty of the Year by the Association of Computer Science Undergraduates at Cornell. Dexter Kozen was one of the first professors to receive the honor of a professorship at at Radboud University Nijmegen in the Netherlands. He is known for his work at the intersection of logic and complexity. He is one of the fathers of dynamic logic and developed the version of the modal μ-calculus most used today. Moreover, he has written several textbooks on the theory of computation, automata theory, dynamic logic, and algorithms. Kozen was a guitarist, singer, and songwriter in the band "Harmful if Swallowed". He also holds the position of faculty advisor for Cornell's rugby football club and plays for the Cortland Homer Thundering Herd rugby team.Cortland Homer Thundering Herd rugby team.
, Dexter Campbell Kozen (* 20. Dezember 1951 … Dexter Campbell Kozen (* 20. Dezember 1951) ist ein US-amerikanischer theoretischer Informatiker. Kozen studierte am Dartmouth College mit dem Bachelor-Abschluss in Mathematik summa cum laude 1974 und wurde 1977 bei Juris Hartmanis an der Cornell University in Informatik promoviert (Complexity of finitely presented algebras). Als Postdoktorand war er an der University of California, Berkeley und danach ab 1978 Wissenschaftler bei IBM Research in Yorktown Heights. 1981/82 war er Gastprofessor an der Universität Aarhus (und nochmals 1991/92) und 1984/85 Adjunct Professor an der Columbia University. Ab 1985 war er Associate Professor und ab 1989 Professor für Informatik an der Cornell University (seit 1994 als Joseph Newton Pew Professor). Kozen befasst sich mit Komplexitätstheorie, speziell von Entscheidungsproblemen in Algebra und Logik, mit Logik und Semantik von Programmiersprachen und Computersicherheit. Er leistete Beiträge zur Modallogik und ist mit Dana Scott und Jaco de Bakker Begründer des modalen -Kalküls und einer der Begründer der Dynamischen Logik (mit David Harel). 1976 führte er den Begriff der alternierenden Turingmaschine ein, unabhängig von Ashok Chandra und Larry Stockmeyer. Er war ein Pionier in probabilistischer Semantik und befasste sich mit maßtheoretischer Semantik für probabilistische Programme und arbeitete über Kleene-Algebren. 1989 fand er mit Susan Landau einen Algorithmus zur Kompositions-Zerlegung von Polynomen (das heißt Auflösung von h=g(f), mit g, f, Polynomen höheren als ersten Grades und h der Komposition aus den gesuchten g und f), der in polynomialer Zeit erfolgreich war. Er ist Fellow der Association for Computing Machinery (ACM) und der American Association for the Advancement of Science und war 1991 Guggenheim Fellow. 1980 erhielt er den Outstanding Innovation Award von IBM (für die Arbeit zur Alternierung mit Ashok Chandra und Larry Stockmeyer). 2016 erhielt er den EATCS-Award und den W. Wallace McDowell Award.S-Award und den W. Wallace McDowell Award.
, Dexter Campbell Kozen (né le 20 décembre 1 … Dexter Campbell Kozen (né le 20 décembre 1951) est un informaticien théoricien américain. Il travaille en théorie de la complexité, plus particulièrement sur des problèmes de décision en algèbre et en logique, en sémantique des langages de programmation et en sécurité informatique.programmation et en sécurité informatique.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.cs.cornell.edu/~kozen/ +
, http://www.cs.duke.edu/brd/Music/Harmful/index2.html +
|
| http://dbpedia.org/ontology/wikiPageID
|
18945682
|
| http://dbpedia.org/ontology/wikiPageLength
|
7835
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1123054542
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:Cornell_University_alumni +
, http://dbpedia.org/resource/Automata_theory +
, http://dbpedia.org/resource/Category:American_computer_scientists +
, http://dbpedia.org/resource/Category:Cornell_University_faculty +
, http://dbpedia.org/resource/Computational_complexity +
, http://dbpedia.org/resource/W._Wallace_McDowell_Award +
, http://dbpedia.org/resource/Cornell_University +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Netherlands +
, http://dbpedia.org/resource/Symposium_on_Logic_in_Computer_Science +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Category:Dartmouth_College_alumni +
, http://dbpedia.org/resource/Computer_scientist +
, http://dbpedia.org/resource/The_Radboud_Excellence_Initiative +
, http://dbpedia.org/resource/Guggenheim_Fellowship +
, http://dbpedia.org/resource/List_of_Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Radboud_University_Nijmegen +
, http://dbpedia.org/resource/Theory_of_computation +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Juris_Hartmanis +
, http://dbpedia.org/resource/European_Association_for_Theoretical_Computer_Science +
, http://dbpedia.org/resource/Category:1951_births +
, http://dbpedia.org/resource/Category:Fellows_of_the_American_Association_for_the_Advancement_of_Science +
, http://dbpedia.org/resource/Category:Theoretical_computer_scientists +
, http://dbpedia.org/resource/Modal_%CE%BC-calculus +
, http://dbpedia.org/resource/Algorithm +
, http://dbpedia.org/resource/Dartmouth_College +
, http://dbpedia.org/resource/Dynamic_logic_%28modal_logic%29 +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:BLP_sources +
, http://dbpedia.org/resource/Template:Short_description +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Cornell_University_alumni +
, http://dbpedia.org/resource/Category:Cornell_University_faculty +
, http://dbpedia.org/resource/Category:Fellows_of_the_American_Association_for_the_Advancement_of_Science +
, http://dbpedia.org/resource/Category:Dartmouth_College_alumni +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:1951_births +
, http://dbpedia.org/resource/Category:Theoretical_computer_scientists +
, http://dbpedia.org/resource/Category:American_computer_scientists +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Scientist +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/25829033 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Dexter_Kozen?oldid=1123054542&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Dexter_Kozen +
|
| owl:sameAs |
http://d-nb.info/gnd/17409096X +
, http://data.bibliotheken.nl/id/thes/p068814917 +
, http://dbpedia.org/resource/Dexter_Kozen +
, https://orcid.org/0000-0002-8007-4725 +
, http://d-nb.info/gnd/172195179 +
, http://de.dbpedia.org/resource/Dexter_Kozen +
, http://yago-knowledge.org/resource/Dexter_Kozen +
, http://viaf.org/viaf/25829033 +
, http://rdf.freebase.com/ns/m.04jlbtw +
, http://d-nb.info/gnd/151182744 +
, http://d-nb.info/gnd/135740436 +
, https://global.dbpedia.org/id/4j1pK +
, http://fr.dbpedia.org/resource/Dexter_Kozen +
, http://www.wikidata.org/entity/Q5268410 +
, https://dblp.org/pid/k/DexterKozen +
|
| rdf:type |
http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/WikicatDartmouthCollegeAlumni +
, http://dbpedia.org/class/yago/WikicatFellowsOfTheAssociationForComputingMachinery +
, http://dbpedia.org/class/yago/Colleague109935990 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://dbpedia.org/class/yago/WikicatTheoreticalComputerScientists +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Peer109626238 +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/WikicatCornellUniversityAlumni +
, http://dbpedia.org/class/yago/Alumnus109786338 +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/WikicatAmericanComputerScientists +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/class/yago/Associate109816771 +
, http://dbpedia.org/class/yago/WikicatFellowsOfTheAmericanAssociationForTheAdvancementOfScience +
, http://dbpedia.org/class/yago/Organism100004475 +
|
| rdfs:comment |
Dexter Campbell Kozen (born December 20, 1 … Dexter Campbell Kozen (born December 20, 1951) is an American theoretical computer scientist. He is Joseph Newton Pew, Jr. Professor in Engineering at Cornell University. He received his B.A. from Dartmouth College in 1974 and his PhD in computer science in 1977 from Cornell University, where he was advised by Juris Hartmanis. He advised numerous Ph.D. students. Dexter Kozen was one of the first professors to receive the honor of a professorship at at Radboud University Nijmegen in the Netherlands.ud University Nijmegen in the Netherlands.
, Dexter Campbell Kozen (* 20. Dezember 1951 … Dexter Campbell Kozen (* 20. Dezember 1951) ist ein US-amerikanischer theoretischer Informatiker. Kozen studierte am Dartmouth College mit dem Bachelor-Abschluss in Mathematik summa cum laude 1974 und wurde 1977 bei Juris Hartmanis an der Cornell University in Informatik promoviert (Complexity of finitely presented algebras). Als Postdoktorand war er an der University of California, Berkeley und danach ab 1978 Wissenschaftler bei IBM Research in Yorktown Heights. 1981/82 war er Gastprofessor an der Universität Aarhus (und nochmals 1991/92) und 1984/85 Adjunct Professor an der Columbia University. Ab 1985 war er Associate Professor und ab 1989 Professor für Informatik an der Cornell University (seit 1994 als Joseph Newton Pew Professor).eit 1994 als Joseph Newton Pew Professor).
, Dexter Campbell Kozen (né le 20 décembre 1 … Dexter Campbell Kozen (né le 20 décembre 1951) est un informaticien théoricien américain. Il travaille en théorie de la complexité, plus particulièrement sur des problèmes de décision en algèbre et en logique, en sémantique des langages de programmation et en sécurité informatique.programmation et en sécurité informatique.
|
| rdfs:label |
Dexter Kozen
|
