Yuri Gurevich
 | В этой статье используются голые URL-адреса , которые неинформативны и уязвимы к порче ссылок . ( сентябрь 2022 г. ) |
Юрий Гуревич , почетный профессор , Мичиганского университета американский учёный-компьютерщик и математик , изобретатель абстрактных государственных машин .
Гуревич родился и получил образование в Советском Союзе . [1] Он преподавал математику там же, в Израиле , а затем переехал в Соединенные Штаты в 1982 году.Самая известная работа его советского периода посвящена классической проблеме решения . [2] В Израиле Гуревич работал с Сахароном Шелахом над монадические второго порядка теории . [3] Теорема о забывчивой определенности Гуревича– Харрингтона также относится к этому периоду. [4]
С 1982 по 1998 год Гуревич преподавал информатику в Мичиганском университете , где начал работать над различными аспектами теории сложности вычислений. [5] включая среднюю сложность случая. [6] Он стал одним из основателей развивающейся области теории конечных моделей . [7]
Самое главное, он заинтересовался проблемой, что такое алгоритм . Это привело его к теории абстрактных государственных машин (АСМ). Тезис ASM утверждает, что с точки зрения поведения каждый алгоритм является ASM. [8] Несколько убедительных аксиом позволили вывести последовательный тезис ASM. [9] и тезис Чёрча-Тьюринга. [10] Тезис ASM также был доказан для некоторых других классов алгоритмов. [11] [12]
С 1998 по 2018 год Гуревич работал в Microsoft Research , где основал группу по основам программной инженерии. Группа создала Spec Explorer на основе теории абстрактных конечных автоматов. Этот инструмент был принят командой Windows ; модифицированная версия инструмента помогла Microsoft удовлетворить требования Европейского Союза к спецификациям исполняемых файлов высокого уровня. Позже Гуревич работал с различными группами Microsoft над различными вопросами эффективности и безопасности. [13] включая контроль доступа, [14] дифференциальное сжатие, [15] и конфиденциальность. [16]
С 1988 года Гуревич ведёт колонку «Логика в информатике» в Бюллетене Европейской ассоциации теоретической информатики. [17] С 2013 года Гуревич работал преимущественно над квантовые вычисления , [18] продолжая исследования в своих традиционных областях.
Гуревич является научным сотрудником AAAS 2020 года . [19] 1997 года член ACM , [20] 1995 года научный сотрудник Гуггенхайма , [21] первый научный сотрудник Европейской ассоциации теоретической информатики , [22] член Европейской академии и почетный доктор Университета Хасселта в Бельгии и Уральского государственного университета в России .
Ссылки [ править ]
- ^ Бласс, Андреас; Дершовиц, Нахум; Райзиг, Вольфганг (2010), Бласс, Андреас; Дершовиц, Нахум; Рейзиг, Вольфганг (ред.), «Юрий, логика и информатика» , «Области логики и вычислений » , Конспекты лекций по информатике, том. 6300, Берлин, Гейдельберг: Springer Berlin Heidelberg, стр. 1–48, doi : 10.1007/978-3-642-15025-8_1 , ISBN 978-3-642-15024-1 , получено 5 июля 2023 г.
- ^ Э. Бёргер, Э. Гредель и Ю. Гуревич. Классическая проблема принятия решений. Спрингер, 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.
- ^ Ю. Гуревич. На пути к логике, адаптированной к вычислительной сложности. В М. Рихтере и соавт. (ред.), Теория вычислений и доказательств. Конспекты лекций Спрингера по математике 1104, 1984, 175–216.
- ^ Ю. Гуревич. Развивающаяся алгебра 1993: Путеводитель по Липари. В Э. Бёргере (ред.), Методы спецификации и проверки, Oxford University Press, 1995, 9–36. https://arxiv.org/abs/1808.06255
- ^ Ю. Гуревич. Последовательные абстрактные конечные автоматы фиксируют последовательные алгоритмы. Транзакции ACM по вычислительной логике 1 (1), 2000.
- ^ Н. Дершовиц и Ю. Гуревич. Естественная аксиоматизация вычислимости и доказательство тезиса Чёрча. Бюллетень символической логики 14:3, 2008, 299–350.
- ^ А. Бласс и Ю. Гуревич. Абстрактные конечные автоматы захватывают параллельные алгоритмы. Транзакции ACM по вычислительной логике 4 (4), 2003, 578–651 и 9 (3), 2008, статья 19.
- ^ А. Бласс, Ю. Гуревич, Д. Розенцвейг и Б. Россман . Интерактивные алгоритмы малого шага II: абстрактные автоматы и теорема о характеризации. Логические методы в информатике 3 (4), 2007, статья 4.
- ^ «Гугл Патентс» .
- ^ А. Бласс, Ю. Гуревич, М. Москаль и И. Ниман. Доказательное разрешение. В С. Нанце (редактор), Будущее разработки программного обеспечения, Springer 2011, 77–99.
- ^ Н. Бьорнер, А. Бласс и Ю. Гуревич. Разбиение на фрагменты в зависимости от содержимого для дифференциального сжатия: подход локального максимума. Журнал компьютерных системных наук 76 (3-4), 2010, 154-203.
- ^ Ю. Гуревич, Э. Худис и Дж. М. Винг. Обратная конфиденциальность. Сообщения ACM 59(7), 2016, 38-42.
- ^ https://eatcs.org/index.php/eatcs-bulletin
- ^ А. Бочаров, Ю. Гуревич и К. М. Своре . Эффективное разложение однокубитных вентилей на V-базисные схемы. Физическое обозрение А 88:1, 2013.
- ↑ AAAS Fellows , получено 11 января 2021 г.
- ^ ACM Fellows , Ассоциация вычислительной техники . По состоянию на 16 февраля 2010 г.
- ↑ Список стипендиатов , архивировано 22 июня 2011 года, в Wayback Machine Мемориальном фонде Джона Саймона Гуггенхайма . По состоянию на 16 февраля 2010 г.
- ^ «EATCS называет стипендиатов 2014 года», Основные этапы: награды в области компьютерных наук, назначения, сообщения ACM , 58 (1): 24, январь 2015 г., doi : 10.1145/2686734 , S2CID 11485095
Внешние ссылки [ править ]
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
