Neil Immerman

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj
Neil Immerman
Neil Immerman, 2010
Neil Immerman, 2010
Data i miejsce urodzenia 24 listopada 1953
Manhasset, Nowy Jork, Stany Zjednoczone
Zawód informatyk
Odznaczenia
Nagroda Gödla, 1995
Strona internetowa

Neil Immerman (ur. 24 listopada 1953 w Manhasset) – amerykański informatyk-teoretyk, jeden z głównych twórców teorii złożoności opisowej, profesor informatyki na Uniwersytecie Massachusetts w Amherst, laureat nagrody Gödla.

Kariera naukowa[edytuj | edytuj kod]

Studia licencjackie (B.S.) i magisterskie (M.S.) odbył na Uniwersytecie Yale, kończąc je w 1974 roku. Doktorat uzyskał na Uniwersytecie Cornella w 1980 na podstawie rozprawy pod tytułem First Order Expressibility as a Complexity Measure, a jego promotorami byli Juris Hartmanis i Anil Nerode[1].

Od 1989 roku pracuje na stanowisku profesora na Uniwersytecie Massachusetts w Amherst[2].

Głównym tematem badań Neila Immermana jest teoria złożoności opisowej[2]. Jest to dziedzina łącząca teorię złożoności obliczeniowej z logiką. Jest autorem wielu wyników charakteryzujących klasy złożoności w terminach struktury formalizmu logicznego niezbędnego do ich zdefiniowania, zamiast w terminach zasobów obliczeniowych niezbędnych do ich rozstrzygania[3].

Jest autorem książki "Descriptive Complexity" wydanej w serii Graduate Texts in Computer Science[3].

Wyróżnienia[edytuj | edytuj kod]

W 1995 otrzymał wspólnie z Róbertem Szelepcsényim nagrodę Gödla za dowód twierdzenia Immermana-Szelepcsényiego, które orzeka, że klasy niedeterministycznej złożoności pamięciowej są zamknięte ze względu na dopełnienie[4].

Był stypendystą Fundacji Pamięci Johna Simona Guggenheima[5].

Neil Immerman jest członkiem kolegiów redakcyjnych czasopism naukowych "SIAM Journal on Computing"[6] i "Logical Methods in Computer Science"[7].

Życie prywatne[edytuj | edytuj kod]

Żoną Neila Immermana jest Susan Landau, badaczka w dziedzinie informatyki, kryptografii i bezpieczeństwa sieciowego[3].

Przypisy

  1. Neil Immerman (ang.). Mathematics Genealogy Project. [dostęp 2012-09-12].
  2. 2,0 2,1 Lista członków fakultetu (ang.). Computer Science Department, University of Massachusetts Amherst. [dostęp 2012-09-12].
  3. 3,0 3,1 3,2 Neil Immerman: Descriptive complexity. Springer-Verlag, 1999. (ang.)
  4. 1995 Gödel Prize (ang.). ACM. [dostęp 2012-09-12].
  5. Lista stypendystów (ang.). Fundacja Pamięci Johna Simona Guggenheima. [dostęp 2012-09-12].
  6. Lista członków komitetu redakcyjnego (ang.). SIAM Journal on Computing. [dostęp 2012-09-12].
  7. Lista członków komitetu redakcyjnego (ang.). Logical Methods in Computer Science. [dostęp 2012-09-12].

Linki zewnętrzne[edytuj | edytuj kod]

  • Strona domowa Neila Immermana na Uniwersytecie Massachusetts w Amherst
  • Lista publikacji Neila Immermana w serwisie DBLP