Neil Immerman

Neil Immerman im Jahr 2010.

Neil Immerman (Geboren am 24. November 1953, Manhasset, New York) ist ein Amerikaner Theoretischer Informatiker, Professor für Informatik bei der Amherst der Universität von Massachusetts.[1] Er ist einer der wichtigsten Entwickler von Beschreibende Komplexität, ein Ansatz, den er derzeit für die Forschung in der Modellprüfung, der Datenbanktheorie und der Rechenkomplexitätstheorie beantragt.

Professor Immerman ist Redakteur der Siam Journal über Computing[2] und von Logische Methoden in der Informatik.[3] Er erhielt B.S.und M.S.Grad von Yale Universität 1974 und sein Ph.D.aus Cornell Universität im Jahr 1980 unter der Aufsicht von Juris Hartmanis, a Turing Award Gewinner bei Cornell.[1][4] Sein Buch Beschreibende Komplexität erschien 1999.[5]

Imerman ist der Gewinner, gemeinsam mit Róbert Szelepcsényivon 1995 Gödel -Preis in theoretischer Informatik für den Beweis für das, was als die so genannt wird Imerman -Szelepcsényi Theorem, das Ergebnis, das Nichtdeterministischer Raum Komplexitätsklassen sind abgeschlossen unter Ergänzung.[6] Immerman ist ein ACM Fellow[7] und ein Guggenheim Fellow.[8]

Verweise

  1. ^ a b Fakultätsverzeichnis: Neil Immerman, Informatikabteilung, Amherst der Universität von Massachusetts, abgerufen 2010-01-23.
  2. ^ Redaktionsbehörde, Siam Journal über Computing, abgerufen 2010-01-23.
  3. ^ Redaktionsbehörde, Logische Methoden in der Informatik, abgerufen 2010-01-23.
  4. ^ Neil Immerman Bei der Mathematik Genealogie -Projekt.
  5. ^ Bewertungen von Beschreibende Komplexität:
    • Dawar, Anuj (2001), Mathematische Bewertungen, HERR 1732784{{}}: CS1 Wartung: nicht titled periodical (Link)
    • Klonowski, W. (2001), Diskrete Dynamik in Natur und Gesellschaft, 6: 57–62, doi:10.1155/s1026022601000061{{}}: CS1 Wartung: nicht titled periodical (Link)
    • Lindell, Steven (Dezember 2001), Das Bulletin der symbolischen Logik, 7 (4): 525–527, doi:10.2307/2687799, JStor 2687799, S2CID 117907732{{}}: CS1 Wartung: nicht titled periodical (Link)
    • Schöning, Uwe, Zbmath, Zbl 0918.68031{{}}: CS1 Wartung: nicht titled periodical (Link)
  6. ^ 1995 Gödel Prize, ACM Sigakt, abgerufen 2010-01-23.
  7. ^ ACM Fellows Award / Neil Immerman, Verband für Rechenmaschinen, abgerufen 2010-01-23.
  8. ^ Neil Immerman Archiviert 2011-06-04 bei der Wayback -Maschine, John Simon Guggenheim Memorial Foundation, Abgerufene 2010-01-23.

Externe Links