Neil Immerman
 Neil Immerman, 2010 | |
| Data i miejsce urodzenia | 24 listopada 1953 |
|---|---|
| Zawód, zajęcie | |
| 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
Studia licencjackie (BS) i magisterskie (MS) odbył na Uniwersytecie Yale’a, kończąc je w 1974. 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
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
Żoną Neila Immermana jest Susan Landau, badaczka w dziedzinie informatyki, kryptografii i bezpieczeństwa sieciowego[3].
Przypisy
- ↑
Neil Immerman w bazie Mathematics Genealogy Project (ang.) [dostęp 2021-10-30]. - ↑ a b Lista członków fakultetu (ang.). Computer Science Department, University of Massachusetts Amherst. [dostęp 2012-09-12].
- ↑ a b c Neil Immerman: Descriptive complexity. Springer-Verlag, 1999. (ang.)
- ↑ 1995 Gödel Prize (ang.). ACM. [dostęp 2012-09-12].
- ↑ Lista stypendystów (ang.). Fundacja Pamięci Johna Simona Guggenheima. [dostęp 2012-09-12]. [zarchiwizowane z tego adresu (2011-06-04)].
- ↑ Lista członków komitetu redakcyjnego (ang.). SIAM Journal on Computing. [dostęp 2012-09-12].
- ↑ Lista członków komitetu redakcyjnego (ang.). Logical Methods in Computer Science. [dostęp 2012-09-12].
Linki zewnętrzne
- Strona domowa Neila Immermana na Uniwersytecie Massachusetts w Amherst
- Lista publikacji Neila Immermana w serwisie DBLP
Media użyte na tej stronie
Autor: Dcoetzee, Licencja: CC0
Computer science researcher Neil Immerman of the University of Massachusetts, Amherst at the Open Source Quality retreat, in the Seaside View room of the Dream Inn in Santa Cruz, California.