АссистентНовый вопросИсторияОбласти знаний
Партнёрские проектыСпецпроектыСтать автором
Сменить язык
О РУВИКИ

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


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

Общие сведения
Юрий Шлёмович Гуревич
Дата рождения 7 мая 1940(1940-05-07) (86 лет)
Место рождения Николаев, Украинская ССР, СССР
Страна  СССР
 Израиль
 США
Научная сфера Математика
Место работы почётный профессор Мичиганского университета
Образование
Учёная степень доктор физико-математических наук
Учёное звание профессор
Научный руководитель профессор Конторович, Пётр Григорьевич
Ученики Philipp W. Kutter[d][1]
Известен как Создатель теории машин абстрактных состояний, широко используемой в современной информатике
Награды и премии
Сайт web.eecs.umich.edu/~gure…

Биография

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

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

В 1969 — 1971 годах преподавал в Свердловском институте народного хозяйства, в 1971 — 1972 годах — в Кубанском государственном университете, а в 1972 — 1973 годах работал в Академии наук Грузинской ССР[5].

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

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

С 1982 по 1998 год был профессором Мичиганского университета. С 1998 по 2018 год работал в исследовательском подразделении корпорации «Майкрософт», где основал группу разработчиков программного обеспечения. В настоящее время является почётным профессором Мичиганского университета[5][3].

Научная деятельность

Гуревич создал концепцию машин абстрактных состояний (Abstract State Machines, ASM), широко используемую в современной информатике. Эта теория обобщает конечные автоматы и машины Тьюринга, позволяя моделировать алгоритмы на их естественном уровне абстракции[6]. В Microsoft Research Гуревич основал группу «Основы программной инженерии», где на базе ASM были созданы язык AsmL и инструмент Spec Explorer.

Награды и звания

  • Стипендиат Мемориального фонда Джона Саймона Гуггенхайма (1995)[5];
  • Член Ассоциации вычислительной техники (ACM) (1997)[5];
  • Почётный доктор (Dr. Honoris Causa) Хасселтского университета (1998)[5];
  • Почётный доктор Уральского государственного университета (2005)[5];
  • Член Европейской академии (2008)[5];
  • Один из первых членов Европейской ассоциации теоретической информатики (EATCS) (2014);
  • Член Американской ассоциации содействия развитию науки (AAAS) (2020).

Научные публикации

  • Э. Бёргер, Э. Гредель и Ю. Гуревич. Классическая проблема принятия решения. Спрингер, 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.
  • Ю. Гуревич и Дж. Хаггинс. The Semantics of the C programming language. В Computer Science Logic, Springer, 1993, 274–308.

Примечания

  1. ↑ 1 2 Mathematics Genealogy Project (англ.) — 1997.
  2. ↑ выгрузка данных Freebase — Google.
  3. ↑ 1 2 Yuri Gurevich. VCLA (сентябрь 2019). Дата обращения: 18 мая 2026.
  4. ↑ Гуревич Юрий Шлемович. Дата обращения: 17 апреля 2022. Архивировано 15 мая 2021 года.
  5. ↑ 1 2 3 4 5 6 7 8 Yuri Gurevich. Academia Europaea. Дата обращения: 18 мая 2026.
  6. ↑ Abstract State Machines Tutorial. University of Pisa. Дата обращения: 18 мая 2026.

Ссылки

Дополнительно по теме

Категории