Нил Иммерман (родился 24 ноября 1953 года, Манхассет, Нью-Йорк ) — американский учёный-теоретик в области информатики , профессор информатики в Массачусетском университете в Амхерсте . [1] Он является одним из ключевых разработчиков дескриптивной сложности , подхода, который он в настоящее время применяет к исследованиям в области проверки моделей, теории баз данных и теории вычислительной сложности.
Профессор Иммерман является редактором журнала SIAM Journal on Computing [2] и журнала Logical Methods in Computer Science . [3] Он получил степени бакалавра и магистра наук в Йельском университете в 1974 году и степень доктора философии в Корнеллском университете в 1980 году под руководством Юриса Хартманиса , лауреата премии Тьюринга в Корнелле. [1] [4] Его книга Descriptive Complexity вышла в 1999 году. [5]
Иммерман является лауреатом, совместно с Робертом Селепецени , премии Гёделя 1995 года по теоретической информатике за доказательство так называемой теоремы Иммермана–Селепецени , согласно которой недетерминированные классы сложности пространства замкнуты относительно дополнения . [6] Иммерман является стипендиатом ACM [7] и стипендиатом Гуггенхайма [8] .
{{citation}}: CS1 maint: безымянное периодическое издание ( ссылка ){{citation}}: CS1 maint: безымянное периодическое издание ( ссылка ){{citation}}: CS1 maint: безымянное периодическое издание ( ссылка ){{citation}}: CS1 maint: безымянное периодическое издание ( ссылка )