Jump to content

Neil Immerman

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by OAbot (talk | contribs) at 23:07, 23 June 2020 (Open access bot: doi added to citation with #oabot.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Neil Immerman in 2010.

Neil Immerman (born 24 November 1953, Manhasset, New York) is an American theoretical computer scientist, a professor of computer science at the University of Massachusetts Amherst.[1] 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[2] and of Logical Methods in Computer Science.[3] 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.[1][4] His book Descriptive Complexity appeared in 1999.[5]

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.[6] Immerman is an ACM Fellow[7] and a Guggenheim Fellow.[8]

References

  1. ^ a b Faculty directory: Neil Immerman, Computer Science Department, University of Massachusetts Amherst, retrieved 2010-01-23.
  2. ^ Editorial board, SIAM Journal on Computing, retrieved 2010-01-23.
  3. ^ Editorial board, Logical Methods in Computer Science, retrieved 2010-01-23.
  4. ^ Neil Immerman at the Mathematics Genealogy Project.
  5. ^ Reviews of Descriptive Complexity:
    • Dawar, Anuj (2001), Mathematical Reviews, MR 1732784{{citation}}: CS1 maint: untitled periodical (link)
    • Klonowski, W. (2001), Discrete Dynamics in Nature and Society, 6: 57–62, doi:10.1155/S1026022601000061{{citation}}: CS1 maint: untitled periodical (link)
    • Lindell, Steven (December 2001), The Bulletin of Symbolic Logic, 7 (4): 525–527, doi:10.2307/2687799, JSTOR 2687799{{citation}}: CS1 maint: untitled periodical (link)
    • Schöning, Uwe, zbMATH, Zbl 0918.68031{{citation}}: CS1 maint: untitled periodical (link)
  6. ^ 1995 Gödel Prize, ACM SIGACT, retrieved 2010-01-23.
  7. ^ ACM Fellows Award / Neil Immerman, Association for Computing Machinery, retrieved 2010-01-23.
  8. ^ Neil Immerman Archived 2011-06-04 at the Wayback Machine, John Simon Guggenheim Memorial Foundation, retrieved 2010-01-23.


Stub icon

This biographical article relating to a computer specialist is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Neil_Immerman&oldid=964164455"