Гуревич, Юрий Шлёмович

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Юрий Шлёмович Гуревич
Yuri Gurevich ETH Zurich cropped.JPG
Дата рождения 7 мая 1940(1940-05-07) (82 года)
Место рождения Николаев, Украинская ССР, СССР
Страна  СССР
 Израиль
 США
Научная сфера Математика
Место работы Исследовательское подразделение корпорации «Майкрософт» (США)
Альма-матер Уральский государственный университет
Учёная степень доктор физико-математических наук
Учёное звание профессор
Научный руководитель профессор Конторович, Пётр Григорьевич
Ученики Philipp W. Kutter[d][1]
Известен как Создатель теории машин абстрактных состояний, широко используемой в современной информатике
Награды и премии
Сайт web.eecs.umich.edu/~gure…
Логотип Викисклада Медиафайлы на Викискладе

Ю́рий Шлёмович Гуре́вич (род. 7 мая 1940[2], СССР[3]) ― советский и американский математик и информатик, доктор физико-математических наук (1968), профессор (1969), создатель теории машин абстрактных состояний[4].

Биография[править | править код]

Родился 7 мая 1940 года в городе Николаев, Украинская ССР, СССР.

В 1957 году поступил на математико-механический факультет Уральского государственного университета, которое окончил в 1962 году. С 1965 по 1969 год Гуревич преподавал в Уральском университете.

Юрий Гуревич является ученик профессора Петра Конторовича. Написал более 200 научных работ в области алгебры, математической логики и компьютерных наук.

Преподавал математику в Израиле, а затем переехал в США в 1982 году. Самая известная его работа советского периода посвящена классической «задаче решения». В Израиле Гуревич работал с Сахароном Шелахом над монадическими теориями второго порядка. Теорема Гуревича–Харрингтона о забывчивой детерминированности также относится к этому периоду.

В настоящее время Юрий Гуревич работает в исследовательском подразделении корпорации «Майкрософт» (США), где он основал группу разработчиков программного обеспечения. Избран почётным профессором в Мичиганском университете.

Гуревич создал концепцию машин абстрактных состояний, широко используемой в современной информатике.

Гуревич является членом ACM, членом Guggenheim, членом Academia Europaea и доктором Honoris Causa Университета Хассельта в Бельгии. В 2014 году он стал одним из десяти инаугурационных стипендиатов Европейской ассоциации теоретической информатики.

В 2005 году стал почётным доктором Уральского государственного университета.

Научные публикации[править | править код]

  • Э. Бёргер, Э. Гредель и Ю. Гуревич. Классическая проблема принятия решения. Спрингер, 1997.
  • Ю. Гуревич. Монадические теории второго порядка. В Дж. Барвайзе и С. Фефермане (ред.), Модельно-теоретическая логика, Springer, 1985, 479–506.
  • Ю. Гуревич и Л. Харрингтон. Автоматы, деревья и игры. STOC '82: Материалы четырнадцатого ежегодного симпозиума ACM по теории вычислений, 1982, 60-65.
  • Ю. Гуревич и С. Шелах. Ожидаемое время вычисления гамильтоновой задачи о путях. SIAM Journal on Computing 16:3, 1987, 486-502.
  • Ю. Гуревич. Средняя комплектность дела. Журнал компьютерных и системных наук 42:3, 1991, 346-398.
  • Ю. Гуревич. К логике, приспособленной к вычислительной сложности. В M Richter et al. (ред.), Теория вычислений и доказательств. Конспект лекций Springer по математике 1104, 1984, 175–216.
  • Ю. Гуревич. Развивающаяся алгебра 1993: Руководство Липари. В E. Börger (ed.)
  • Ю. Гуревич. Последовательные абстрактные конечные автоматы захватывают последовательные алгоритмы. Транзакции ACM по вычислительной логике 1 (1), 2000.
  • Н. Дершовиц и Ю. Гуревич. Естественная аксиоматизация вычислимости и доказательство тезиса Чёрча. Бюллетень символической логики 14: 3, 2008, 299-350.
  • А. Бласс и Ю. Гуревич. Абстрактные конечные автоматы захватывают параллельные алгоритмы. ACM Transactions on Computational Logic 4 (4), 2003 г., 578–651, и 9 (3), 2008 г., статья 19.

Примечания[править | править код]

Ссылки[править | править код]