Neil immerman

Neil immerman Kuva Infoboxissa. Neil Immerman vuonna 2010. Elämäkerta
Syntymä 24. marraskuuta 1953
Manhasset
Kansalaisuus amerikkalainen
Koulutus Massachusettsin yliopisto, Amherst
Yalen yliopisto (1974)
Cornellin yliopisto ( Philosophiæ-lääkäri ) (1980)
Toiminta Matemaatikko , tietotekniikka , insinööri , yliopiston professori
Muita tietoja
Työskenteli Massachusettsin yliopisto Amherstissä
Alueet IT- asiantuntija , IT
Opinnäytetyön ohjaajat Juris Hartmanis , Anil Nerode
Verkkosivusto www.cs.umass.edu/~immerman
Palkinnot ACM Fellow
Gödel -palkinto (1995)
Guggenheimin apuraha (2003)
Ensisijaiset teokset
Kuvaava monimutkaisuuden teoria (1999)
Immerman-Szelepcsényi-lause

Neil Immerman , syntynyt24. marraskuuta 1953in Manhasset että New Yorkin osavaltion , on tietojenkäsittelytieteessä amerikkalainen erikoislääkäri teoreettisen tietojenkäsittelyopin , tietojenkäsittelytieteen professori University of Massachusetts Amherst . Hän on johtava kuvailevan monimutkaisuuden kehittäjä , lähestymistapaa, jota hän käyttää tällä hetkellä mallintarkastuksen , tietokantateorian ja laskennallisen monimutkaisuuden teorian tutkimuksessa .

Neil Immerman on SIAM Journal on Computing and Logical Methods in Computer Science -lehden toimittaja . Hän sai BS ja MS astetta päässä Yalen yliopistosta vuonna 1974, ja tohtorin päässä Cornellin yliopistossa vuonna 1980 valvonnassa Juris Hartmanis itsekin Turing-palkinnon voittaja . Hänen kirjansa Kuvaava monimutkaisuus julkaistiin vuonna 1999.

Immerman on yhdessä Róbert Szelepcsényin kanssa Gödel-palkinnon vuonna 1995 palkinto teoreettisesta tietojenkäsittelytieteen palkinnosta, joka hänelle myönnetään todistuksesta ns. Immerman-Szelepcsényi-lauseesta , tulos, joka osoittaa, että NSPACE- kompleksisuuden luokat ovat suljettu täydentämällä. Immerman, merkittävä atk- konejärjestön jäsen ( ACM Fellow ) ja Guggenheim-säätiön jäsen .

Viitteet

  1. tiedekunnan hakemisto: Neil Immerman , tietojenkäsittelytieteen osasto, University of Massachusetts Amherst , käyty 23. tammikuuta 2010.
  2. SIAM Journal of Computing -lehden toimikunta , käyty 23. tammikuuta 2010.
  3. Toimituskunta , Tietojenkäsittelytieteen loogiset menetelmät , käyty 23. tammikuuta 2010.
  4. (in) "  Neil Immerman  " päälle verkkosivuilla matematiikan Sukututkimus Project .
  5. Tietojenkäsittelytieteen valmistuneet tekstit, Springer-Verlag ( ISBN  978-0-387-98600-5 ) .
  6. Gödelin hinta 1995 , ACM SIGACT , käytetty 23. tammikuuta 2010.
  7. ACM Fellows Award / Neil Immerman , ACM , käytetty 23. tammikuuta 2010.
  8. Neil Immerman , John Simon Guggenheim -säätiö, vieraili 23. tammikuuta 2010.
(fr) Tämä artikkeli on osittain tai kokonaan peräisin englanninkielisestä Wikipedia- artikkelista "  Neil Immerman  " ( katso luettelo kirjoittajista ) .

Ulkoiset linkit