Нил Иммерман

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

Нил Иммерман

Neil Immerman
Neil Immerman.jpg
Дата рождения
24 ноября 1953 года
Место рождения
Манхассет, штат Нью-Йорк, США











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

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

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

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

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

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

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

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

  • «Descriptive Complexity», 1999.

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