Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Neil_Immerman> ?p ?o. }
Showing items 1 to 77 of
77
with 100 items per page.
- Neil_Immerman abstract "Neil Immerman (24 November 1953, Manhasset, New York) is an American theoretical computer scientist, a professor of computer science at the University of Massachusetts Amherst. He is one of the key developers of descriptive complexity, an approach he is currently applying to research in model checking, database theory, and computational complexity theory.Professor Immerman is an editor of the SIAM Journal on Computing and of Logical Methods in Computer Science. He received B.S. and M.S. degrees from Yale University in 1974 and his Ph.D. from Cornell University in 1980 under the supervision of Juris Hartmanis, a Turing award winner at Cornell. His book "Descriptive Complexity" appeared in 1999.Immerman is the winner, jointly with Róbert Szelepcsényi, of the 1995 Gödel Prize in theoretical computer science for proof of what is known as the Immerman–Szelepcsényi theorem, the result that nondeterministic space complexity classes are closed under complementation. Immerman is an ACM Fellow and a Guggenheim Fellow.".
- Neil_Immerman thumbnail Neil_Immerman.jpg?width=300.
- Neil_Immerman wikiPageExternalLink ~immerman.
- Neil_Immerman wikiPageID "1370768".
- Neil_Immerman wikiPageRevisionID "572719273".
- Neil_Immerman hasPhotoCollection Neil_Immerman.
- Neil_Immerman name "Immerman, Neil".
- Neil_Immerman shortDescription "American computer scientist".
- Neil_Immerman description "American computer scientist".
- Neil_Immerman description "American computer scientist".
- Neil_Immerman subject Category:American_computer_scientists.
- Neil_Immerman subject Category:Cornell_University_alumni.
- Neil_Immerman subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- Neil_Immerman subject Category:Guggenheim_Fellows.
- Neil_Immerman subject Category:Gödel_Prize_laureates.
- Neil_Immerman subject Category:Living_people.
- Neil_Immerman subject Category:Theoretical_computer_scientists.
- Neil_Immerman subject Category:University_of_Massachusetts_Amherst_faculty.
- Neil_Immerman type Acquirer109764201.
- Neil_Immerman type Alumnus109786338.
- Neil_Immerman type AmericanComputerScientists.
- Neil_Immerman type Associate109816771.
- Neil_Immerman type CausalAgent100007347.
- Neil_Immerman type Colleague109935990.
- Neil_Immerman type ComputerScientist109951070.
- Neil_Immerman type ComputerUser109951274.
- Neil_Immerman type CornellUniversityAlumni.
- Neil_Immerman type FellowsOfTheAssociationForComputingMachinery.
- Neil_Immerman type G%C3%B6delPrizeLaureates.
- Neil_Immerman type Honoree110183757.
- Neil_Immerman type Intellectual109621545.
- Neil_Immerman type Laureate110249011.
- Neil_Immerman type LivingPeople.
- Neil_Immerman type LivingThing100004258.
- Neil_Immerman type Object100002684.
- Neil_Immerman type Organism100004475.
- Neil_Immerman type Peer109626238.
- Neil_Immerman type Person100007846.
- Neil_Immerman type PhysicalEntity100001930.
- Neil_Immerman type Recipient109627906.
- Neil_Immerman type Scholar110557854.
- Neil_Immerman type Scientist110560637.
- Neil_Immerman type TheoreticalComputerScientists.
- Neil_Immerman type Whole100003553.
- Neil_Immerman type YagoLegalActor.
- Neil_Immerman type YagoLegalActorGeo.
- Neil_Immerman type Agent.
- Neil_Immerman type Person.
- Neil_Immerman type Person.
- Neil_Immerman type Q215627.
- Neil_Immerman type Q5.
- Neil_Immerman type Agent.
- Neil_Immerman type NaturalPerson.
- Neil_Immerman type Thing.
- Neil_Immerman type Person.
- Neil_Immerman comment "Neil Immerman (24 November 1953, Manhasset, New York) is an American theoretical computer scientist, a professor of computer science at the University of Massachusetts Amherst. He is one of the key developers of descriptive complexity, an approach he is currently applying to research in model checking, database theory, and computational complexity theory.Professor Immerman is an editor of the SIAM Journal on Computing and of Logical Methods in Computer Science. He received B.S. and M.S.".
- Neil_Immerman label "Neil Immerman".
- Neil_Immerman label "Neil Immerman".
- Neil_Immerman label "Neil Immerman".
- Neil_Immerman label "Neil Immerman".
- Neil_Immerman label "Neil Immerman".
- Neil_Immerman sameAs Neil_Immerman.
- Neil_Immerman sameAs Neil_Immerman.
- Neil_Immerman sameAs Neil_Immerman.
- Neil_Immerman sameAs Neil_Immerman.
- Neil_Immerman sameAs m.04xf09.
- Neil_Immerman sameAs Q93057.
- Neil_Immerman sameAs Q93057.
- Neil_Immerman sameAs 167692.
- Neil_Immerman sameAs Neil_Immerman.
- Neil_Immerman wasDerivedFrom Neil_Immerman?oldid=572719273.
- Neil_Immerman depiction Neil_Immerman.jpg.
- Neil_Immerman givenName "Neil".
- Neil_Immerman isPrimaryTopicOf Neil_Immerman.
- Neil_Immerman name "Immerman, Neil".
- Neil_Immerman name "Neil Immerman".
- Neil_Immerman surname "Immerman".
