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