WikiDer > Нил Иммерман
Нил Иммерман (родился 24 ноября 1953 г., Манхассет, Нью-Йорк) - американец теоретик-информатик, профессор информатики в Массачусетский университет в Амхерсте.[1] Он один из ключевых разработчиков описательная сложность, подход, который он в настоящее время применяет к исследованиям в области проверки моделей, теории баз данных и теории сложности вычислений.
Профессор Иммерман - редактор журнала SIAM Журнал по вычислениям[2] и из Логические методы в информатике.[3] Он получил B.S. и М.С. градусов от Йельский университет в 1974 г. и его докторская степень. из Корнелл Университет в 1980 г. под руководством Юрис Хартманис, а Премия Тьюринга победитель в Корнелле.[1][4] Его книга Описательная сложность появился в 1999 году.[5]
Иммерман - победитель вместе с Роберт Селепсеньи, 1995 г. Премия Гёделя в теоретической информатике для доказательства того, что известно как Теорема Иммермана – Селепсеньи, результат, который недетерминированное пространство классы сложности находятся закрыто под дополнение.[6] Иммерман - это Член ACM[7] и Сотрудник Гуггенхайма.[8]
Рекомендации
- ^ а б Справочник факультета: Нил Иммерман, Кафедра компьютерных наук, Массачусетский университет в Амхерсте, получено 23 января 2010.
- ^ Редакционная коллегия, SIAM Журнал по вычислениям, получено 23 января 2010.
- ^ Редакционная коллегия, Логические методы в информатике, получено 23 января 2010.
- ^ Нил Иммерман на Проект "Математическая генеалогия".
- ^ Обзоры Описательная сложность:
- Давар, Анудж (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: журнал без названия (связь)
- ^ Премия Гёделя 1995 года, ACM SIGACT, получено 23 января 2010.
- ^ Премия ACM Fellows Award / Нил Иммерман, Ассоциация вычислительной техники, получено 23 января 2010.
- ^ Нил Иммерман В архиве 2011-06-04 на Wayback Machine, Мемориальный фонд Джона Саймона Гуггенхайма, получено 23 января 2010 г.
внешняя ссылка
- Домашняя страница Иммермана в Университете штата Массачусетс Амхерст
 | Эта биографическая статья, относящаяся к специалисту по компьютерам, является заглушка. Вы можете помочь Википедии расширяя это. |