Юрий Гуревич - американский ученый-компьютерщик и математик, изобретатель абстрактных конечных автоматов . Он является заслуженным профессором в Университете штата Мичиган .
Гуревич родился и получил образование в Советском Союзе . Он преподавал математику в Израиле, а затем переехал в США в 1982 году.
Самая известная работа его советского периода посвящена классической проблеме решения . [1] В Израиле Гуревич работал с Сахароном Шелахом над монадическими теориями второго порядка . [2] Забывчива Детерминированность теорема о Гуревиче Harrington имеет тот период , а также. [3]
С 1982 по 1998 год Гуревич преподавал информатику в Мичиганском университете , где работал над теорией конечных моделей , [4] теорией сложности в среднем случае [5] и теорией абстрактных конечных автоматов . [6]
С 1998 по 2018 год Гуревич работал в Microsoft Research, где основал группу по основам программной инженерии. Группа построила Spec Explorer на основе теории абстрактных конечных автоматов. Инструмент был принят командой Windows ; модифицированная версия инструмента помогла Microsoft удовлетворить требования Европейского Союза в отношении высокоуровневых спецификаций исполняемых файлов. Позже Гуревич работал с различными группами Microsoft по темам, включая контроль доступа [7] и другие вопросы безопасности, [8] конфиденциальность [9] и квантовые вычисления. [10]
Гуревич является 2020 AAAS Fellow, [11] в 1997 году ACM Fellow , [12] в 1995 году Guggenheim Fellow , [13] инаугурационной сотрудник Европейской ассоциации по теоретической информатике , [14] член Академии Европы , и д - р Почетный из Хассельта университета в Бельгии и Уральского государственного университета в России .
Ссылки [ править ]
- ^ Э. Бёргер, Э. Грэдель и Ю. Гуревич. Классическая проблема принятия решений. Спрингер, 1997.
- ↑ Ю. Гуревич. Монадические теории второго порядка. В Дж. Барвайз и С. Феферман (ред.), Теоретико-модельная логика, Springer, 1985, 479-506.
- ^ Ю. Гуревич и Л. Харрингтон. Автоматы, деревья и игры. STOC '82: Материалы четырнадцатого ежегодного симпозиума ACM по теории вычислений, 1982, 60–65.
- ↑ Ю. Гуревич. Логика и проблемы информатики. В Э. Бёргер (ред.), Современные тенденции в теоретической информатике, Computer Science Press, 1988.
- ↑ Юрий Гуревич. Средняя полнота кейса. Журнал компьютерных и системных наук, 42: 346–398, 1991.
- ↑ Ю. Гуревич. Последовательные абстрактные конечные автоматы захватывают последовательные алгоритмы. Транзакции ACM по вычислительной логике 1 (1), 2000.
- ↑ Ю. Гуревич и И. Нееман. Логика инфонов: пропозициональный случай. Транзакции ACM по вычислительной логике 12 (2), 2011.
- ^ Н. Бьёрнер, А. Бласс и Ю. Гуревич. Контент-зависимое фрагментирование для дифференциального сжатия: подход локального максимума Журнал компьютерных систем 76 (3-4), 2010, 154-203.
- ↑ Y. Gurevich, E. Hudis, JM Wing. Обратная конфиденциальность. Сообщения ACM 59 (7), 2016, 38-42.
- ^ А. Бочаров, Ю. Гуревич, К. Svore. Эффективное разложение однокубитовых вентилей на V базисных схем. Physical Review A 88: 1, 2013.
- ^ AAAS Fellows , извлекаемый на 11 января, 2021
- ^ Товарищи ACM , Ассоциация вычислительной техники . Доступ 16 февраля 2010 г.
- ^ Список стипендиатов , архивации 22 июня 2011, в Вайбак Machine Foundation Джон Саймон Guggenheim Memorial . Доступ 16 февраля 2010 г.
- ^ "EATCS имена 2014 стипендиатов", Вехи: Компьютерные науки Награды, встречи, коммуникации по АКМ , 58 (1): 24, январь 2015, DOI : 10,1145 / 2686734 , S2CID 11485095
Внешние ссылки [ править ]
- Домашняя страница Гуревича
- Юрий Гуревич , Проект «Математическая генеалогия»
 | Викискладе есть медиафайлы по теме Юрия Гуревича . |
