stringtranslate.com

Нил Иммерман

Нил Иммерман в 2010 году.

Нил Иммерман (родился 24 ноября 1953, Манхассет, Нью-Йорк ) — американский учёный-теоретик в области информатики , профессор информатики Массачусетского университета в Амхерсте . [1] Он является одним из ключевых разработчиков описательной сложности — подхода, который он в настоящее время применяет к исследованиям в области проверки моделей, теории баз данных и теории сложности вычислений.

Профессор Иммерман — редактор журнала SIAM Journal on Computing [2] и журнала « Логические методы в компьютерных науках» . [3] Он получил степени бакалавра и магистра Йельского университета в 1974 году и степень доктора философии. из Корнеллского университета в 1980 году под руководством Юриса Хартманиса , лауреата премии Тьюринга в Корнелле. [1] [4] Его книга «Описательная сложность» появилась в 1999 году. [5]

Иммерман вместе с Робертом Селепшеньи является лауреатом премии Гёделя 1995 года в области теоретической информатики за доказательство того, что известно как теорема Иммермана-Селепшени , результата, согласно которому классы недетерминированной пространственной сложности замкнуты при дополнении . [6] Иммерман является научным сотрудником ACM [7] и научным сотрудником Гуггенхайма . [8]

Рекомендации

  1. ^ ab Каталог факультетов: Нил Иммерман, факультет компьютерных наук Массачусетского университета в Амхерсте , получено 23 января 2010 г.
  2. ^ Редакционная коллегия журнала SIAM Journal on Computing , получено 23 января 2010 г.
  3. ↑ Редакционная коллегия журнала « Логические методы в информатике» , получено 23 января 2010 г.
  4. ^ Нил Иммерман в проекте «Математическая генеалогия» .
  5. ^ Обзоры описательной сложности :
    • Давар, Анудж (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: периодическое издание без названия ( ссылка )
  6. ^ Премия Гёделя 1995 г., ACM SIGACT , получено 23 января 2010 г.
  7. ^ Премия ACM Fellows / Нил Иммерман, Ассоциация вычислительной техники , получено 23 января 2010 г.
  8. ↑ Нил Иммерман. Архивировано 4 июня 2011 г. в Wayback Machine , Мемориальный фонд Джона Саймона Гуггенхайма, получено 23 января 2010 г.

Внешние ссылки


  • в
  • т
  • е