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 |
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) |
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 .