Нил Иммерман

Материал из Циклопедии
Перейти к: навигация, поиск

Нил Иммерман

Neil Immerman
Neil Immerman.jpg
Дата рождения 24 ноября 1953 года
Место рождения США













Нил Иммерман (англ. Neil Immerman) — американский учёный, профессор компьютерных наук в Университете Массачусетса в Амхерсте[1][2].

[править] Биография

Родился 24 ноября 1953 года в Манхассете, Нью-Йорк.

В 1974 году получил степень бакалавра и магистра в Йельском университете.

В 1980 году получил степень доктора в Корнельском университете.

В 1995 году — лауреат премии Гёделя — за теорему Иммермана — Шелепченьи (теория сложности вычислений).

Является одним из ключевых разработчиков описательной сложности, подхода, который применяется к исследованиям в области проверки моделей, теории баз данных и теории вычислительной сложности.

[править] Книга

  • "Descriptive Complexity", 1999.

[править] Источники

Персональные инструменты
Пространства имён

Варианты
Действия
Навигация
Инструменты