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
[edytuj | edytuj kod]Studia licencjackie (BS) i magisterskie (MS) odbył na Uniwersytecie Yale, 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
[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
[edytuj | edytuj kod]- ↑ Neil Immerman w bazie Mathematics Genealogy Project (ang.) [dostęp 2021-10-30].
- ↑ a b Lista członków fakultetu. Computer Science Department, University of Massachusetts Amherst. [dostęp 2012-09-12]. (ang.).
- ↑ a b c Neil Immerman: Descriptive complexity. Springer-Verlag, 1999. (ang.).
- ↑ 1995 Gödel Prize. ACM. [dostęp 2012-09-12]. (ang.).
- ↑ Lista stypendystów. Fundacja Pamięci Johna Simona Guggenheima. [dostęp 2012-09-12]. [zarchiwizowane z tego adresu (2011-06-04)]. (ang.).
- ↑ Lista członków komitetu redakcyjnego. SIAM Journal on Computing. [dostęp 2012-09-12]. (ang.).
- ↑ Lista członków komitetu redakcyjnego. Logical Methods in Computer Science. [dostęp 2012-09-12]. (ang.).
Linki zewnętrzne
[edytuj | edytuj kod]- Strona domowa Neila Immermana na Uniwersytecie Massachusetts w Amherst
- Lista publikacji Neila Immermana w serwisie DBLP