About: Dexter Kozen

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Dexter Kozen Goto Sponge NotDistinct Permalink

An Entity of Type : yago:WikicatFellowsOfTheAssociationForComputingMachinery, within Data Space : dbpedia.org associated with source document(s)

Type:

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FDexter_Kozen&graph=http%3A%2F%2Fdbpedia.org&graph=http%3A%2F%2Fdbpedia.org

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.

Attributes	Values
rdf:type	Thing person yago:WikicatAmericanComputerScientists scientist yago:WikicatCornellUniversityAlumni yago:WikicatLivingPeople yago:WikicatTheoreticalComputerScientists yago:Alumnus109786338 yago:Associate109816771 yago:CausalAgent100007347 yago:Colleague109935990 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Intellectual109621545 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Peer109626238 yago:Person100007846 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:WikicatDartmouthCollegeAlumni yago:WikicatFellowsOfTheAmericanAssociationForTheAdvancementOfScience yago:WikicatFellowsOfTheAssociationForComputingMachinery
rdfs:label	Dexter Kozen (de) Dexter Kozen (en) Dexter Kozen (fr)
rdfs:comment	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. (fr) 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. (en) 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). (de)
dcterms:subject	1951 births Living people American computer scientists Cornell University alumni Cornell University faculty Dartmouth College alumni Fellows of the American Association for the Advancement of Science Theoretical computer scientists Fellows of the Association for Computing Machinery
Wikipage page ID	18945682 (xsd:integer)
Wikipage revision ID	1123054542 (xsd:integer)
Link from a Wikipage to another Wikipage	Algorithm List of Fellows of the Association for Computing Machinery Dynamic logic (modal logic) 1951 births Living people Cornell University Mathematical logic Symposium on Logic in Computer Science Computational complexity Computer scientist Theory of computation American computer scientists Cornell University alumni Cornell University faculty Dartmouth College alumni Fellows of the American Association for the Advancement of Science Theoretical computer scientists Dartmouth College Guggenheim Fellowship Fellows of the Association for Computing Machinery Juris Hartmanis Automata theory Netherlands Radboud University Nijmegen Modal μ-calculus European Association for Theoretical Computer Science W. Wallace McDowell Award dbr:The_Radboud_Excellence_Initiative
Link from a Wikipage to an external page	http://www.cs.cornell.edu/~kozen/ http://www.cs.duke.edu/brd/Music/Harmful/index2.html
sameAs	Dexter Kozen Dexter Kozen Dexter Kozen Dexter Kozen Dexter Kozen Dexter Kozen Dexter Kozen Dexter Kozen Dexter Kozen Dexter Kozen Dexter Kozen Dexter Kozen Dexter Kozen Dexter Kozen
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:BLP_sources dbt:Short_description
has abstract	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. (de) 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. (en) 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. (fr)
gold:hypernym	Scientist
schema:sameAs	Dexter Kozen
prov:wasDerivedFrom	wikipedia-en:Dexter_Kozen?oldid=1123054542&ns=0
page length (characters) of wiki page	7835 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Dexter_Kozen

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 56 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software