Юрий Гуревич - Yuri Gurevich
Юрий Гуревич , почетный профессор в Университете штата Мичиган , является американский ученый и математик и изобретатель машин абстрактных состояний .
Гуревич родился и получил образование в Советском Союзе . Он преподавал математику тут же в Израиле, а затем переехал в Соединенные Штаты в 1982 году. Самая известная работа его советского периода посвящена классической проблеме принятия решений . В Израиле Гуревич работал с Сахароном Шелахом над монадическими теориями второго порядка . Forgetful Определенность теорема о Гуревича Харрингтона имеет тот период.
С 1982 по 1998 год Гуревич преподавал информатику в Мичиганском университете , где начал работать над различными аспектами теории сложности вычислений, включая сложность среднего случая. Он стал одним из основателей развивающейся области теории конечных моделей .
Самое главное, он заинтересовался проблемой, что такое алгоритм . Это привело его к теории абстрактных конечных автоматов (ASM). В тезисе ASM говорится, что с точки зрения поведения каждый алгоритм является ASM. Несколько убедительных аксиом позволили вывести последовательный тезис ASM и тезис Черча – Тьюринга. Тезис ASM также был доказан для некоторых других классов алгоритмов.
С 1998 по 2018 год Гуревич работал в Microsoft Research, где основал группу по основам программной инженерии. Группа построила Spec Explorer на основе теории абстрактных конечных автоматов. Инструмент был принят командой Windows ; модифицированная версия инструмента помогла Microsoft удовлетворить требования Европейского Союза в отношении высокоуровневых спецификаций исполняемых файлов. Позже Гуревич работал с различными группами Microsoft над различными вопросами эффективности, безопасности и защиты, включая контроль доступа, дифференциальное сжатие и конфиденциальность.
С 1988 года Гуревич ведет рубрику «Логика в компьютерных науках» в Бюллетене Европейской ассоциации теоретических компьютерных наук. С 2013 года Гуревич в основном занимается квантовыми вычислениями , продолжая исследования в своих традиционных областях.
Гуревич - научный сотрудник AAAS 2020 г., член ACM 1997 г., научный сотрудник Гуггенхайма 1995 г. , первый научный сотрудник Европейской ассоциации теоретической информатики , член Academia Europaea и доктор Honoris Causa из Университета Хассельта в Бельгии и Уральского государственного университета. в России .