Нил Иммерман - Neil Immerman
Нил Иммерман (родился 24 ноября 1953 года, Манхассет, Нью-Йорк ) - американский ученый-теоретик , профессор компьютерных наук Массачусетского университета в Амхерсте . Он является одним из ключевых разработчиков описательной сложности , подхода, который он в настоящее время применяет к исследованиям в области проверки моделей, теории баз данных и теории вычислительной сложности.
Профессор Иммерман - редактор журнала SIAM по вычислениям и логическим методам в компьютерных науках . Он получил степени бакалавра и магистра в Йельском университете в 1974 году и докторскую степень. из Корнельского университета в 1980 году под руководством Юриса Хартманиса , лауреата премии Тьюринга в Корнелле. Его книга « Описательная сложность» появилась в 1999 году.
Иммерман является победителем, совместно с Róbert Szelepcsenyi , в 1995 Гёделя премии в области теоретической информатики для доказательства того , что известно как теорема Иммерман-Szelepcsenyi , в результате чего недетерминирован пространство классы сложности будут закрыты под комплементарности . Иммерман - научный сотрудник ACM и научный сотрудник Гуггенхайма .
использованная литература
внешние ссылки
- Домашняя страница Иммермана в Университете Массачусетса в Амхерсте