Neil Immerman
Neil Immerman · Technology & Engineering
Proved the Immerman-Szelepcsényi theorem; founder of descriptive complexity; Gödel Prize (1995)
1953, United States
United States
Neil Immerman is recognized among Jewish contributors to Technology & Engineering — Proved the Immerman-Szelepcsényi theorem; founder of descriptive complexity; Gödel Prize (1995)
Immerman, an American computer scientist of Jewish background at the University of Massachusetts Amherst, is a founder of descriptive complexity, which measures the difficulty of problems by the logic needed to describe them. With Robert Szelepcsenyi he independently proved the Immerman-Szelepcsenyi theorem, showing that nondeterministic space is closed under complement. He shared the 1995 Godel Prize.
Verify and go deeper with these external references.
Source: Jinfo.org — Jewish recipients of the Gödel Prize
This page is published in seven languages from an English source. The translations are reviewed, but a mistake can still slip through. If you spot one on this profile — a wrong word, a lost date, a sentence that says something the English does not — please tell us.
Proved the Immerman-Szelepcsényi theorem; founder of descriptive complexity; Gödel Prize (1995)
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Similar Contributors
Noam Nisan
Ronald Fagin
Shmuel Safra
