Нил Иммерман (родился 24 ноября 1953 года, Манхассет, Нью-Йорк ) - американский ученый-теоретик , профессор компьютерных наук Массачусетского университета в Амхерсте . [1] Он является одним из ключевых разработчиков описательной сложности , подхода, который он в настоящее время применяет к исследованиям в области проверки моделей, теории баз данных и теории вычислительной сложности.
Профессор Иммерман - редактор журнала SIAM по вычислениям [2] и « Логическим методам в компьютерных науках» . [3] Он получил степень бакалавра и магистра в Йельском университете в 1974 году и докторскую степень. из Корнельского университета в 1980 году под руководством Юриса Хартманиса , лауреата премии Тьюринга в Корнелле. [1] [4] Его книга « Описательная сложность» появилась в 1999 году. [5]
Иммерман является победителем, совместно с Róbert Szelepcsenyi , в 1995 Гёделя премии в области теоретической информатики для доказательства того , что известно как теорема Иммерман-Szelepcsenyi , в результате чего недетерминирован пространство классы сложности будут закрыты под комплементарности . [6] Иммерман - научный сотрудник ACM [7] и научный сотрудник Гуггенхайма . [8]
Ссылки [ править ]
- ^ a b Справочник факультета: Нил Иммерман , факультет компьютерных наук, Массачусетский университет, Амхерст , получено 23 января 2010 г.
- ^ Редколлегия , SIAM журнал по вычислениям , извлекаются 2010-01-23.
- ^ Редколлегия , логические методы в информатике , извлекаться 2010-01-23.
- ↑ Нил Иммерман в проекте « Математическая генеалогия» .
- ^ Обзоры описательной сложности :
- Давар, Анудж (2001), Mathematical Reviews , MR 1732784CS1 maint: журнал без названия ( ссылка )
- Klonowski, W. (2001), дискретная динамика в природе и обществе , 6 : 57-62, DOI : 10,1155 / S1026022601000061CS1 maint: журнал без названия ( ссылка )
- Lindell, Стивен (декабрь 2001), Бюллетень символической логики , 7 (4): 525-527, DOI : 10,2307 / 2687799 , JSTOR 2687799 , S2CID 117907732CS1 maint: журнал без названия ( ссылка )
- Шёнинг, Уве , zbMATH , Zbl 0918.68031CS1 maint: журнал без названия ( ссылка )
- ^ Премия Гёделя 1995 г. , ACM SIGACT , извлечено 23 января 2010 г.
- ^ Награда стипендиатов ACM / Нил Иммерман , Association for Computing Machinery , получено 23 января 2010 г.
- ↑ Нил Иммерман. Архивировано 4 июня 2011 г. в Wayback Machine , Мемориальный фонд Джона Саймона Гуггенхайма, извлечено 23 января 2010 г.
Внешние ссылки [ править ]
- Домашняя страница Иммермана в Университете Массачусетса в Амхерсте
