Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Dexter_Kozen> ?p ?o. }
Showing items 1 to 62 of
62
with 100 items 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 1976, 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.He 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 viafId "25829033".
- Dexter_Kozen wikiPageExternalLink ~kozen.
- Dexter_Kozen wikiPageExternalLink index2.html.
- Dexter_Kozen wikiPageID "18945682".
- Dexter_Kozen wikiPageRevisionID "579803577".
- Dexter_Kozen hasPhotoCollection Dexter_Kozen.
- Dexter_Kozen name "Kozen, Dexter".
- 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 type Alumnus109786338.
- Dexter_Kozen type AmericanComputerScientists.
- Dexter_Kozen type Associate109816771.
- Dexter_Kozen type CausalAgent100007347.
- Dexter_Kozen type Colleague109935990.
- Dexter_Kozen type ComputerScientist109951070.
- Dexter_Kozen type ComputerUser109951274.
- Dexter_Kozen type CornellUniversityAlumni.
- Dexter_Kozen type DartmouthCollegeAlumni.
- Dexter_Kozen type FellowsOfTheAmericanAssociationForTheAdvancementOfScience.
- Dexter_Kozen type FellowsOfTheAssociationForComputingMachinery.
- Dexter_Kozen type Intellectual109621545.
- Dexter_Kozen type LivingPeople.
- Dexter_Kozen type LivingThing100004258.
- Dexter_Kozen type Object100002684.
- Dexter_Kozen type Organism100004475.
- Dexter_Kozen type Peer109626238.
- Dexter_Kozen type Person100007846.
- Dexter_Kozen type PhysicalEntity100001930.
- Dexter_Kozen type Scholar110557854.
- Dexter_Kozen type Scientist110560637.
- Dexter_Kozen type TheoreticalComputerScientists.
- Dexter_Kozen type Whole100003553.
- Dexter_Kozen type YagoLegalActor.
- Dexter_Kozen type YagoLegalActorGeo.
- Dexter_Kozen type Agent.
- Dexter_Kozen type Person.
- Dexter_Kozen type Person.
- Dexter_Kozen type Q215627.
- Dexter_Kozen type Q5.
- Dexter_Kozen type Agent.
- Dexter_Kozen type NaturalPerson.
- Dexter_Kozen type Thing.
- 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 1976, 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 sameAs Dexter_Kozen.
- Dexter_Kozen wasDerivedFrom Dexter_Kozen?oldid=579803577.
- Dexter_Kozen givenName "Dexter".
- Dexter_Kozen isPrimaryTopicOf Dexter_Kozen.
- Dexter_Kozen name "Dexter Kozen".
- Dexter_Kozen name "Kozen, Dexter".
- Dexter_Kozen surname "Kozen".