Нил Иммерман
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/95/Neil_Immerman.jpg/220px-Neil_Immerman.jpg)
Нил Иммерман (родился 24 ноября 1953, Манхассет, Нью-Йорк ) — американский учёный-теоретик в области информатики , профессор информатики Массачусетского университета в Амхерсте . [1] Он является одним из ключевых разработчиков описательной сложности — подхода, который он в настоящее время применяет к исследованиям в области проверки моделей, теории баз данных и теории сложности вычислений.
Профессор Иммерман — редактор журнала SIAM Journal on Computing. [2] и логических методов в информатике . [3] Он получил степени бакалавра и магистра Йельского университета в 1974 году и степень доктора философии. из Корнеллского университета в 1980 году под руководством Юриса Хартманиса , лауреата премии Тьюринга в Корнелле. [1] [4] Его книга «Описательная сложность» вышла в 1999 году. [5]
является лауреатом Иммерман вместе с Робертом Селепшеньи 1995 года премии Гёделя в области теоретической информатики за доказательство того, что известно как теорема Иммермана-Селепшени , результата, согласно которому недетерминированной пространственной сложности замкнуты классы при дополнении . [6] Иммерман — член ACM [7] и научный сотрудник Гуггенхайма . [8]
Ссылки [ править ]
- ^ Перейти обратно: а б Справочник факультета: Нил Иммерман , факультет компьютерных наук, Массачусетский университет в Амхерсте , получено 23 января 2010 г.
- ↑ Редакционная коллегия журнала SIAM Journal on Computing , получено 23 января 2010 г.
- ^ Редакционная коллегия , Логические методы в информатике , получено 23 января 2010 г.
- ^ Нил Иммерман в проекте «Математическая генеалогия» .
- ^ Обзоры описательной сложности :
- Давар, Анудж (2001), Математические обзоры , MR 1732784
{{citation}}
: CS1 maint: периодическое издание без названия ( ссылка ) - Клоновский, В. (2001), Дискретная динамика в природе и обществе , 6 : 57–62, doi : 10.1155/S1026022601000061
{{citation}}
: CS1 maint: периодическое издание без названия ( ссылка ) - Линделл, Стивен (декабрь 2001 г.), Бюллетень символической логики , 7 (4): 525–527, doi : 10.2307/2687799 , JSTOR 2687799 , S2CID 117907732
{{citation}}
: CS1 maint: периодическое издание без названия ( ссылка ) - Шёнинг, Уве , zbMATH , Zbl 0918.68031
{{citation}}
: CS1 maint: периодическое издание без названия ( ссылка )
- Давар, Анудж (2001), Математические обзоры , MR 1732784
- ^ Премия Гёделя 1995 года , ACM SIGACT , получено 23 января 2010 г.
- ^ Премия ACM Fellows / Нил Иммерман , Ассоциация вычислительной техники , получено 23 января 2010 г.
- ↑ Нил Иммерман. Архивировано 4 июня 2011 г. в Wayback Machine , Мемориальный фонд Джона Саймона Гуггенхайма, получено 23 января 2010 г.
Внешние ссылки [ править ]
- Домашняя страница Иммермана в Массачусетском университете в Амхерсте
- Американские ученые-компьютерщики
- Выпускники Корнеллского университета
- Члены Ассоциации вычислительной техники 2002 г.
- Лауреаты премии Гёделя
- Факультет Массачусетского университета в Амхерсте
- Живые люди
- Американские ученые-теоретики-компьютерщики
- Люди из Манхассета, Нью-Йорк
- Ученые из Нью-Йорка (штат)
- 1953 года рождения
- Незавершенные статьи о компьютерных специалистах