Юрий Гуревич
-
Биография Юрия Гуревича
- Американский ученый-компьютерщик, родился и получил образование в СССР.
- Преподавал математику в СССР и Израиле, переехал в США в 1982 году.
-
Научная карьера
- Известен работами по классической задаче принятия решений в советский период.
- Работал с Сахароном Шелахом над монадическими теориями второго порядка.
- С 1982 по 1998 год преподавал информатику в Мичиганском университете.
- Основал область теории конечных моделей и заинтересовался проблемой определения алгоритма.
-
Теория абстрактных конечных автоматов
- Разработал тезис ASM, утверждающий, что каждый алгоритм является ASM.
- Доказал последовательную ASM и тезис Черча-Тьюринга.
- Тезис ASM был доказан для различных классов алгоритмов.
-
Работа в Microsoft Research
- Основал группу по основам разработки программного обеспечения в Microsoft Research.
- Spec Explorer, разработанный на основе ASM, был принят командой разработчиков Windows.
- Работал над вопросами эффективности, надежности и защищенности в Microsoft.
-
Вклад в компьютерные науки
- С 1988 года ведет колонку о логике в компьютерных науках.
- С 2013 года занимается квантовыми вычислениями, продолжая исследования в традиционных областях.
-
Награды и признание
- Стипендиат AAAS в 2020 году.
- Член ACM с 1997 года, стипендиат фонда Гуггенхайма с 1995 года.
- Первый член Европейской ассоциации теоретической информатики, член Европейской академии и доктор технических наук.
- Почетный профессор университетов в Бельгии и России.