Войти
Нил Иммерман в 2010 году. Нил Иммерман (родился 24 ноября 1953, Манхассет, Нью-Йорк ) - американский теоретик-информатик, профессор информатики в Массачусетском университете в Амхерсте. Он является одним из ключевых разработчиков описательной сложности, подхода, который он в настоящее время применяет к исследованиям в области проверки моделей, теории баз данных и теории вычислительной сложности.
Профессор Иммерман является редактором журнала SIAM Journal on Computing и Logical Methods in Computer Science. Он получил B.S. и М.С. степени Йельского университета в 1974 году и его докторская степень. из Корнельского университета в 1980 году под руководством Юриса Хартманиса, обладателя премии Тьюринга в Корнелле. Его книга Descriptive Complexity появилась в 1999 году.
Иммерман вместе с Робертом Селепсеньи стал победителем в 1995 Премии Гёделя в области теоретических вычислений. наука для доказательства того, что известно как теорема Иммермана – Селепсеньи, результат того, что недетерминированное пространство классы сложности замкнуты при дополнение. Иммерман является членом ACM и членом сообщества Гуггенхайма.
.
