Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Neil_Immerman> ?p ?o }
Showing triples 1 to 95 of
95
with 100 triples 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 wikiPageLength "3268".
- Neil_Immerman wikiPageOutDegree "29".
- Neil_Immerman wikiPageRevisionID "668401386".
- Neil_Immerman wikiPageWikiLink Association_for_Computing_Machinery.
- Neil_Immerman wikiPageWikiLink Category:American_computer_scientists.
- Neil_Immerman wikiPageWikiLink Category:Cornell_University_alumni.
- Neil_Immerman wikiPageWikiLink Category:Fellows_of_the_Association_for_Computing_Machinery.
- Neil_Immerman wikiPageWikiLink Category:Guggenheim_Fellows.
- Neil_Immerman wikiPageWikiLink Category:Gödel_Prize_laureates.
- Neil_Immerman wikiPageWikiLink Category:Living_people.
- Neil_Immerman wikiPageWikiLink Category:People_from_Manhasset,_New_York.
- Neil_Immerman wikiPageWikiLink Category:Theoretical_computer_scientists.
- Neil_Immerman wikiPageWikiLink Category:University_of_Massachusetts_Amherst_faculty.
- Neil_Immerman wikiPageWikiLink Closure_(mathematics).
- Neil_Immerman wikiPageWikiLink Complement_(set_theory).
- Neil_Immerman wikiPageWikiLink Complexity_class.
- Neil_Immerman wikiPageWikiLink Cornell_University.
- Neil_Immerman wikiPageWikiLink Descriptive_complexity.
- Neil_Immerman wikiPageWikiLink Descriptive_complexity_theory.
- Neil_Immerman wikiPageWikiLink Guggenheim_Fellow.
- Neil_Immerman wikiPageWikiLink Guggenheim_Fellowship.
- Neil_Immerman wikiPageWikiLink Gödel_Prize.
- Neil_Immerman wikiPageWikiLink Immerman–Szelepcsényi_theorem.
- Neil_Immerman wikiPageWikiLink Juris_Hartmanis.
- Neil_Immerman wikiPageWikiLink Logical_Methods_in_Computer_Science.
- Neil_Immerman wikiPageWikiLink Manhasset,_New_York.
- Neil_Immerman wikiPageWikiLink NSPACE.
- Neil_Immerman wikiPageWikiLink Róbert_Szelepcsényi.
- Neil_Immerman wikiPageWikiLink SIAM_Journal_on_Computing.
- Neil_Immerman wikiPageWikiLink Theoretical_computer_science.
- Neil_Immerman wikiPageWikiLink Turing_Award.
- Neil_Immerman wikiPageWikiLink Turing_award.
- Neil_Immerman wikiPageWikiLink University_of_Massachusetts_Amherst.
- Neil_Immerman wikiPageWikiLink Yale_University.
- Neil_Immerman wikiPageWikiLink File:Neil_Immerman.jpg.
- Neil_Immerman wikiPageWikiLinkText "Immerman".
- Neil_Immerman wikiPageWikiLinkText "Immerman, Neil".
- Neil_Immerman wikiPageWikiLinkText "Immerman, Niel".
- Neil_Immerman wikiPageWikiLinkText "Neil Immerman".
- Neil_Immerman hasPhotoCollection Neil_Immerman.
- Neil_Immerman name "Immerman, Neil".
- Neil_Immerman shortDescription "American computer scientist".
- Neil_Immerman wikiPageUsesTemplate Template:Authority_control.
- Neil_Immerman wikiPageUsesTemplate Template:Compu-bio-stub.
- Neil_Immerman wikiPageUsesTemplate Template:Gödel_winners.
- Neil_Immerman wikiPageUsesTemplate Template:Persondata.
- Neil_Immerman wikiPageUsesTemplate Template:Reflist.
- 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:People_from_Manhasset,_New_York.
- Neil_Immerman subject Category:Theoretical_computer_scientists.
- Neil_Immerman subject Category:University_of_Massachusetts_Amherst_faculty.
- Neil_Immerman hypernym Scientist.
- Neil_Immerman type Agent.
- Neil_Immerman type List.
- Neil_Immerman type Person.
- Neil_Immerman type Scientist.
- Neil_Immerman type List.
- Neil_Immerman type Member.
- Neil_Immerman type Occupation.
- Neil_Immerman type Scientist.
- Neil_Immerman type Person.
- Neil_Immerman type Agent.
- Neil_Immerman type NaturalPerson.
- Neil_Immerman type Thing.
- Neil_Immerman type Q215627.
- Neil_Immerman type Q5.
- 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 sameAs 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 wasDerivedFrom Neil_Immerman?oldid=668401386.
- 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".