Neil Immerman
Neil Immerman (född 24 november 1953, Manhasset, New York ) är en amerikansk teoretisk datavetare , professor i datavetenskap vid University of Massachusetts Amherst . Han är en av nyckelutvecklarna av deskriptiv komplexitet , ett tillvägagångssätt han för närvarande tillämpar på forskning inom modellkontroll, databasteori och beräkningskomplexitetsteori.
Professor Immerman är redaktör för SIAM Journal on Computing and of Logical Methods in Computer Science . Han fick BS- och MS-grader från Yale University 1974 och sin doktorsexamen. från Cornell University 1980 under ledning av Juris Hartmanis , en Turing Award- vinnare vid Cornell. Hans bok Descriptive Complexity kom ut 1999.
Immerman är vinnaren, tillsammans med Róbert Szelepcsényi , av 1995 års Gödelpris i teoretisk datavetenskap för bevis på vad som är känt som Immerman-Szelepcsényi-satsen , resultatet att icke-deterministiska rymdkomplexitetsklasser stängs under komplementering . Immerman är en ACM Fellow och en Guggenheim Fellow .
externa länkar
- Immermans hemsida på U. Mass. Amherst
| Allmän | |
|---|---|
| Nationalbibliotek | |
| Vetenskapliga databaser | |
| Övrig | |
- 1953 födslar
- amerikanska datavetare
- Datorspecialiststubbar
- Cornell University alumner
- Fellows of Association for Computing Machinery
- Gödelpristagare
- Levande människor
- Människor från Manhasset, New York
- Forskare från New York (delstaten)
- Teoretiska datavetare
- University of Massachusetts Amherst fakultet