Нил Иммерман

От Bot-+-On / 26.06.2024 / Оставьте комментарий

Нил Иммерман Нил Иммерман — американский ученый-теоретик в области компьютерных наук. Он является одним из ключевых разработчиков описательной сложности. Иммерман […]

1953 births, 1953 года рождения, 2002 Fellows of the Association for Computing Machinery, American computer scientists, American theoretical computer scientists, Computer specialist stubs, Cornell University alumni, Gödel Prize laureates, Living people, New York, People from Manhasset, Scientists from New York (state), University of Massachusetts Amherst faculty, Американские ученые-компьютерщики, американские ученые-теоретики в области информатики, выпускники Корнельского университета, Живые люди, лауреаты премии Гёделя, Люди из Манхассета, Незавершенные работы по компьютерному специалисту, Нью-Йорк, преподаватели Массачусетского университета в Амхерсте, Ученые из Нью-Йорка (штат), члены Ассоциации вычислительной техники 2002 г.

Нил Иммерман

Нил Иммерман — американский ученый-теоретик в области компьютерных наук.
Он является одним из ключевых разработчиков описательной сложности.
Иммерман является редактором журналов SIAM Journal on Computing и «Логические методы в компьютерных науках».
Он получил степень бакалавра и М.С. в 1974 году, а также докторскую степень в 1980 году.
Иммерман стал лауреатом премии Геделя в 1995 году за доказательство теоремы Иммермана-Шелепчени.
Он является членом ACM и стипендиатом фонда Гуггенхайма.

Полный текст статьи:

Нил Иммерман — Википедия

Оставьте комментарий Отменить ответ

Для отправки комментария вам необходимо авторизоваться.