Neil Immerman - Neil Immerman

Neil Immerman (narozen 24. listopadu 1953, Manhasset, New York ) je Američan teoretický počítačový vědec, profesor výpočetní techniky na University of Massachusetts Amherst.[1] Je jedním z klíčových vývojářů popisná složitost, přístup, který v současné době aplikuje na výzkum v oblasti kontroly modelů, teorie databází a teorie výpočetní složitosti.
Profesor Immerman je redaktor časopisu SIAM Journal on Computing[2] a ze dne Logické metody v informatice.[3] Získal B.S. a M.S. stupně od univerzita Yale v roce 1974 a jeho Ph.D. z Cornell University v roce 1980 pod dohledem Juris Hartmanis, a Turingova cena vítěz v Cornellu.[1][4] Jeho kniha Popisná složitost objevil se v roce 1999.[5]
Immerman je vítěz, společně s Róbert Szelepcsényi z roku 1995 Gödelova cena v teoretické informatice za důkaz toho, co je známé jako Immerman – Szelepcsényiho věta, výsledek, který nedeterministický prostor třídy složitosti jsou Zavřeno pod doplňování.[6] Immerman je Člen ACM[7] a a Guggenheim Fellow.[8]
Reference
- ^ A b Adresář fakulty: Neil Immerman, Oddělení informatiky, University of Massachusetts Amherst, vyvoláno 2010-01-23.
- ^ Redakční rada, SIAM Journal on Computing, vyvoláno 2010-01-23.
- ^ Redakční rada, Logické metody v informatice, vyvoláno 2010-01-23.
- ^ Neil Immerman na Matematický genealogický projekt.
- ^ Recenze Popisná složitost:
- Dawar, Anuj (2001), Matematické recenze, PAN 1732784CS1 maint: periodikum bez názvu (odkaz)
- Klonowski, W. (2001), Diskrétní dynamika v přírodě a společnosti, 6: 57–62, doi:10.1155 / S1026022601000061CS1 maint: periodikum bez názvu (odkaz)
- Lindell, Steven (prosinec 2001), Bulletin symbolické logiky, 7 (4): 525–527, doi:10.2307/2687799, JSTOR 2687799CS1 maint: periodikum bez názvu (odkaz)
- Schöning, Uwe, zbMATH, Zbl 0918.68031CS1 maint: periodikum bez názvu (odkaz)
- ^ Cena Gödel z roku 1995, ACM SIGACT, vyvoláno 2010-01-23.
- ^ Cena ACM Fellows / Neil Immerman, Sdružení pro výpočetní techniku, vyvoláno 2010-01-23.
- ^ Neil Immerman Archivováno 04.06.2011 na Wayback Machine „John Simon Guggenheim Memorial Foundation, vyvoláno 23. ledna 2010.
externí odkazy
- Domovská stránka Immermana v U. Mass. Amherst
![]() | Tento životopisný článek týkající se počítačového specialisty je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |