Quantcast
NI
United States of America
341 views this week
Neil Immerman

Neil Immerman

American theoretical computer scientist (b.1953)
The basics
Quick Facts
Intro American theoretical computer scientist (b.1953)
A.K.A. Immerman
Countries United States of America
Occupations Mathematician Computer scientist Engineer University teacher
Gender male
Birth 24 November 1953 (Manhasset)
Star sign Sagittarius
Education Cornell University, Yale University, University of Massachusetts Amherst
Neil Immerman
The details
Biography

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.

The contents of this page are sourced from Wikipedia article. The contents are available under the CC BY-SA 4.0 license.
comments so far.
Comments
References
http://data.bnf.fr/ark:/12148/cb13629880w
http://fellows.acm.org/fellow_citation.cfm?id=1758739&srt=all
http://isni.org/isni/0000000114621092
http://sigact.acm.org/prizes/godel/1995.html
http://www.cs.umass.edu/faculty/directory/immerman_neil
http://www.cs.umass.edu/~immerman/
http://www.genealogy.ams.org/id.php?id=30442
http://www.gf.org/fellows/7088-neil-immerman
http://www.lmcs-online.org/ojs/edBoard.php
http://www.siam.org/journals/sicomp/board.php
https://authority.bibsys.no/authority/rest/authorities/html/98058634
arrow-left arrow-right arrow-up arrow-down instagram whatsapp myspace quora soundcloud spotify tumblr vk website youtube stumbleupon comments comments pandora gplay iheart tunein pandora gplay iheart tunein itunes