Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Dexter_Kozen> ?p ?o }
Showing triples 1 to 77 of
77
with 100 triples per page.
- Dexter_Kozen abstract "Dexter Campbell Kozen 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 from Cornell University in 1977, where he was advised by Juris Hartmanis.He is a Fellow of the Association for Computing Machinery, a Guggenheim Fellow, and has received aOutstanding 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 The Radboud Excellence Initiative at Radboud University Nijmegen in the NetherlandsHe is known for his seminal work at the intersection of logic and complexity. He is one of the fathers of dynamic logic and developed the version of the mu calculus most used today. Moreover, he has written several textbooks on the theory of computation, automata theory, dynamic logic, and algorithms.Kozen was also 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.".
- Dexter_Kozen wikiPageExternalLink ~kozen.
- Dexter_Kozen wikiPageExternalLink index2.html.
- Dexter_Kozen wikiPageID "18945682".
- Dexter_Kozen wikiPageLength "3094".
- Dexter_Kozen wikiPageOutDegree "22".
- Dexter_Kozen wikiPageRevisionID "677373590".
- Dexter_Kozen wikiPageWikiLink Algorithm.
- Dexter_Kozen wikiPageWikiLink Association_for_Computing_Machinery.
- Dexter_Kozen wikiPageWikiLink Category:American_computer_scientists.
- Dexter_Kozen wikiPageWikiLink Category:Cornell_University_alumni.
- Dexter_Kozen wikiPageWikiLink Category:Cornell_University_faculty.
- Dexter_Kozen wikiPageWikiLink Category:Dartmouth_College_alumni.
- Dexter_Kozen wikiPageWikiLink Category:Fellows_of_the_American_Association_for_the_Advancement_of_Science.
- Dexter_Kozen wikiPageWikiLink Category:Fellows_of_the_Association_for_Computing_Machinery.
- Dexter_Kozen wikiPageWikiLink Category:Living_people.
- Dexter_Kozen wikiPageWikiLink Category:Theoretical_computer_scientists.
- Dexter_Kozen wikiPageWikiLink Computer_scientist.
- Dexter_Kozen wikiPageWikiLink Cornell_University.
- Dexter_Kozen wikiPageWikiLink Dartmouth_College.
- Dexter_Kozen wikiPageWikiLink Dynamic_logic_(modal_logic).
- Dexter_Kozen wikiPageWikiLink Guggenheim_Fellowship.
- Dexter_Kozen wikiPageWikiLink Juris_Hartmanis.
- Dexter_Kozen wikiPageWikiLink Modal_μ-calculus.
- Dexter_Kozen wikiPageWikiLink Mu_calculus.
- Dexter_Kozen wikiPageWikiLink Netherlands.
- Dexter_Kozen wikiPageWikiLink Radboud_University_Nijmegen.
- Dexter_Kozen wikiPageWikiLink The_Radboud_Excellence_Initiative.
- Dexter_Kozen wikiPageWikiLink Theory_of_computation.
- Dexter_Kozen wikiPageWikiLinkText "Dexter C. Kozen".
- Dexter_Kozen wikiPageWikiLinkText "Dexter Kozen".
- Dexter_Kozen wikiPageWikiLinkText "Kozen".
- Dexter_Kozen hasPhotoCollection Dexter_Kozen.
- Dexter_Kozen name "Kozen, Dexter".
- Dexter_Kozen shortDescription "American computer scientist".
- Dexter_Kozen wikiPageUsesTemplate Template:Authority_control.
- Dexter_Kozen wikiPageUsesTemplate Template:BLP_sources.
- Dexter_Kozen wikiPageUsesTemplate Template:Persondata.
- Dexter_Kozen description "American computer scientist".
- Dexter_Kozen description "American computer scientist".
- Dexter_Kozen subject Category:American_computer_scientists.
- Dexter_Kozen subject Category:Cornell_University_alumni.
- Dexter_Kozen subject Category:Cornell_University_faculty.
- Dexter_Kozen subject Category:Dartmouth_College_alumni.
- Dexter_Kozen subject Category:Fellows_of_the_American_Association_for_the_Advancement_of_Science.
- Dexter_Kozen subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- Dexter_Kozen subject Category:Living_people.
- Dexter_Kozen subject Category:Theoretical_computer_scientists.
- Dexter_Kozen hypernym Scientist.
- Dexter_Kozen type Agent.
- Dexter_Kozen type Article.
- Dexter_Kozen type List.
- Dexter_Kozen type Person.
- Dexter_Kozen type Scientist.
- Dexter_Kozen type Article.
- Dexter_Kozen type List.
- Dexter_Kozen type Member.
- Dexter_Kozen type Occupation.
- Dexter_Kozen type Scientist.
- Dexter_Kozen type Person.
- Dexter_Kozen type Agent.
- Dexter_Kozen type NaturalPerson.
- Dexter_Kozen type Thing.
- Dexter_Kozen type Q215627.
- Dexter_Kozen type Q5.
- Dexter_Kozen type Person.
- Dexter_Kozen comment "Dexter Campbell Kozen 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 from Cornell University in 1977, where he was advised by Juris Hartmanis.He is a Fellow of the Association for Computing Machinery, a Guggenheim Fellow, and has received aOutstanding Innovation Award from IBM Corporation.".
- Dexter_Kozen label "Dexter Kozen".
- Dexter_Kozen sameAs m.04jlbtw.
- Dexter_Kozen sameAs Q5268410.
- Dexter_Kozen sameAs Q5268410.
- Dexter_Kozen wasDerivedFrom Dexter_Kozen?oldid=677373590.
- Dexter_Kozen givenName "Dexter".
- Dexter_Kozen isPrimaryTopicOf Dexter_Kozen.
- Dexter_Kozen name "Dexter Kozen".
- Dexter_Kozen name "Kozen, Dexter".
- Dexter_Kozen surname "Kozen".