Нил Иммерман - Neil Immerman

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

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

Профессор Иммерман - редактор журнала SIAM Журнал по вычислениям[2] и из Логические методы в информатике.[3] Он получил B.S. и М.С. градусов от Йельский университет в 1974 г. и его докторская степень. из Корнелл Университет в 1980 г. под руководством Юрис Хартманис, а Премия Тьюринга победитель в Корнелле.[1][4] Его книга Описательная сложность появился в 1999 году.[5]

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

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

  1. ^ а б Справочник факультета: Нил Иммерман, Кафедра компьютерных наук, Массачусетский университет в Амхерсте, получено 23 января 2010.
  2. ^ Редакционная коллегия, SIAM Журнал по вычислениям, получено 23 января 2010.
  3. ^ Редакционная коллегия, Логические методы в информатике, получено 23 января 2010.
  4. ^ Нил Иммерман на Проект "Математическая генеалогия".
  5. ^ Обзоры Описательная сложность:
    • Давар, Анудж (2001), Математические обзоры, МИСТЕР  1732784CS1 maint: журнал без названия (связь)
    • Клоновски, В. (2001), Дискретная динамика в природе и обществе, 6: 57–62, Дои:10.1155 / S1026022601000061CS1 maint: журнал без названия (связь)
    • Линделл, Стивен (декабрь 2001 г.), Вестник символической логики, 7 (4): 525–527, Дои:10.2307/2687799, JSTOR  2687799CS1 maint: журнал без названия (связь)
    • Шёнинг, Уве, zbMATH, Zbl  0918.68031CS1 maint: журнал без названия (связь)
  6. ^ Премия Гёделя 1995 года, ACM SIGACT, получено 23 января 2010.
  7. ^ Премия ACM Fellows Award / Нил Иммерман, Ассоциация вычислительной техники, получено 23 января 2010.
  8. ^ Нил Иммерман В архиве 2011-06-04 на Wayback Machine, Мемориальный фонд Джона Саймона Гуггенхайма, получено 23 января 2010 г.

внешняя ссылка