Neil immerman

Neil immerman Kép az Infoboxban. Neil Immerman 2010-ben. Életrajz
Születés 1953. november 24
Manhasset
Állampolgárság Amerikai
Kiképzés Massachusettsi Egyetem, Amherst
Yale Egyetem (1974)
Cornell Egyetem ( Philosophiæ orvos ) (1980)
Tevékenységek Matematikus , informatikus , mérnök , egyetemi tanár
Egyéb információk
Dolgozott valakinek Massachusettsi Egyetem, Amherst
Területek Informatikus , informatikus
Szakdolgozati rendezők Juris Hartmanis , Anil Nerode
Weboldal www.cs.umass.edu/~immerman
Díjak ACM
Gödel ösztöndíjas (1995)
Guggenheim-ösztöndíj (2003)
Elsődleges művek
Leíró Komplexitás Theory (1999)
Immerman-Szelepcsényi tétel

Neil Immerman , született 1953. november 24A Manhasset a New York állam , egy számítógép tudós amerikai specialistája elméleti számítógép-tudomány , számítástechnika professzora University of Massachusetts Amherst . A leíró komplexitás vezető fejlesztője , ezt a megközelítést jelenleg a modellellenőrzés , az adatbáziselmélet és a számítási komplexitáselmélet kutatásában használja .

Neil Immerman a SIAM Journal on Computing and Logical Methods in Computer Science tudományos folyóiratok szerkesztője . 1974-ben BS és MS fokozatot kapott a Yale Egyetemen , majd 1980-ban Ph.D.-t a Cornell Egyetemen Juris Hartmanis , aki maga is Turing- díjas lett . Című könyvében leíró bonyolultság 1999-ben jelent.

Immerman van díjas együtt Róbert Szelepcsényi , az a Gödel-díj 1995-ben díjat az elméleti számítógép-tudomány oda neki a bizonyíték, hogy mi az úgynevezett Immerman-Szelepcsényi tétel , amely eredmény igazolja, hogy az osztályok NSPACE komplexitás vannak lezárva kiegészítés. Immerman a Számítástechnikai Gépek Szövetségének ( ACM Fellow ) jeles tagja és a Guggenheim Alapítvány munkatársa .

Hivatkozások

  1. kari könyvtár: Neil Immerman , a Massachusetts Amherst Egyetem Számítástudományi Tanszéke , 2010. január 23.
  2. Editorial Board A SIAM Journal on Computing , lapot 23 2010.
  3. Szerkesztőség , Logikai módszerek a számítástechnikában , hozzáférés 2010. január 23.
  4. (in) "  Neil Immerman  " a honlapon a matematika Genealógia Project .
  5. Diplomás szövegek a számítástechnikában, Springer-Verlag, ( ISBN  978-0-387-98600-5 ) .
  6. Gödel 1995 ár , ACM SIGACT , 2010. január 23.
  7. ACM Fellows Award / Neil Immerman , ACM , 2010. január 23.
  8. Neil Immerman , John Simon Guggenheim Alapítvány, 2010. január 23.
(fr) Ez a cikk részben vagy egészben az angol Wikipedia "  Neil Immerman  " című cikkéből származik ( lásd a szerzők felsorolását ) .

Külső linkek