Neil Immerman

Neil Immerman Imagine în Infobox. Neil Immerman în 2010. Biografie
Naștere 24 noiembrie 1953
Manhasset
Naţionalitate american
Instruire Universitatea din Massachusetts la
Universitatea Amherst Yale (1974)
Universitatea Cornell ( doctor Philosophiæ ) (1980)
Activități Matematician , informatician , inginer , profesor universitar
Alte informații
Lucrat pentru Universitatea din Massachusetts la Amherst
Zone IT specialist , IT
Directorii tezei Juris Hartmanis , Anil Nerode
Site-ul web www.cs.umass.edu/~immerman
Premii Premiul ACM Fellow
Gödel (1995)
Bursa Guggenheim (2003)
Lucrări primare
Teoria descriptivă a complexității (1999)
Teorema Immerman-Szelepcsényi

Neil Immerman , născut pe24 noiembrie 1953în Manhasset, în statul New York , este un informatician american , specialist în informatică teoretică , profesor de informatică la Universitatea Massachusetts din Amherst . El este un dezvoltator de vârf al complexității descriptive , o abordare pe care o folosește în prezent pentru cercetare în verificarea modelelor , teoria bazelor de date și teoria complexității computaționale .

Neil Immerman este editor al revistelor științifice SIAM Journal on Computing and Logical Methods in Computer Science . A obținut o diplomă BS și MS la Universitatea Yale în 1974 și un doctorat la Universitatea Cornell în 1980 sub supravegherea lui Juris Hartmanis , el însuși câștigător al Premiului Turing . Cartea sa Descriptive Complexity a fost publicată în 1999.

Immerman este laureat, împreună cu Róbert Szelepcsényi , al Premiului Gödel din 1995, premiu în informatică teoretică care i se acordă pentru dovada a ceea ce este cunoscută sub numele de teorema Immerman-Szelepcsényi , rezultat care demonstrează că clasele complexității NSPACE sunt închis prin complementare. Immerman este un membru distins al Asociației pentru Mașini de Calcul ( membru ACM ) și membru al Fundației Guggenheim .

Referințe

  1. Directorul facultăților: Neil Immerman , Departamentul de Informatică, Universitatea din Massachusetts Amherst , accesat la 23 ianuarie 2010.
  2. Comitetul editorial al SIAM Journal on Computing , accesat la 23 ianuarie 2010.
  3. Comitetul editorial , Metode logice în informatică , accesat la 23 ianuarie 2010.
  4. (în) „  Neil Immerman  ” pe site-ul web al Mathematics Genealogia Project .
  5. Graduate Texts in Computer Science, Springer-Verlag, ( ISBN  978-0-387-98600-5 ) .
  6. Prețul Gödel 1995 , ACM SIGACT , accesat la 23 ianuarie 2010.
  7. Premiul ACM Fellows / Neil Immerman , ACM , accesat la 23 ianuarie 2010.
  8. Neil Immerman , Fundația John Simon Guggenheim, accesat la 23 ianuarie 2010.
(fr) Acest articol este preluat parțial sau în întregime din articolul din Wikipedia engleză intitulat „  Neil Immerman  ” ( vezi lista autorilor ) .

linkuri externe