Нил Иммерман
Перейти к навигации
Перейти к поиску
Нил Иммерман (англ. Neil Immerman) — американский учёный, профессор компьютерных наук в Университете Массачусетса в Амхерсте[1][2].
Биография[править]
Родился 24 ноября 1953 года в Манхассете, штат Нью-Йорк.
В 1974 году получил степень бакалавра и магистра в Йельском университете.
В 1980 году получил степень доктора в Корнельском университете.
В 1995 году — лауреат премии Гёделя — за теорему Иммермана — Шелепченьи (теория сложности вычислений).
Является одним из ключевых разработчиков описательной сложности, подхода, который применяется к исследованиям в области проверки моделей, теории баз данных и теории вычислительной сложности.
Книга[править]
- «Descriptive Complexity», 1999.