WikiDer > Юрий Гуревич - Википедия
Юрий Гуревич является Американец специалист в области информатики и математик и изобретатель абстрактные машины состояний. Он главный научный сотрудник Microsoft Research, где он основал Основы программной инженерии группа, и он Заслуженный профессор в отставке на университет Мичигана.
Гуревич получил образование в Советский союз, и преподавал в Израиль до приезда в США. Самая известная работа его советского периода находится на классическая проблема решения. В Израиле Гуревич работал с Сахарон Шелах намонадический второго порядка теории. В Теорема о забвенной детерминированности Гуревича -Харрингтон тоже того периода. Что касается своего американского периода, то Гуревич наиболее известен своими работами над теория конечных моделей и теория абстрактные машины состояний. Он также внес свой вклад в средняя сложность теория.[1]
Гуревич Член ACM,[2] а Сотрудник Гуггенхайма,[3] членом Academia Europaea, и Dr. Honoris Causa из Университет Хасселта в Бельгия и из Уральский государственный университет в РоссияВ 2014 году он стал одним из десяти инаугурационных сотрудников Европейская ассоциация теоретической информатики.[4]
Рекомендации
- ^ Юрий Гуревич. Средняя полнота кейса. Журнал компьютерных и системных наук, 42: 346–398, 1991.
- ^ Стипендиаты ACM, Ассоциация вычислительной техники. Доступ 16 февраля 2010 г.
- ^ Список стипендиатов, В архиве 22 июня 2011 г. Wayback Machine Мемориальный фонд Джона Саймона Гуггенхайма. Доступ 16 февраля 2010 г.
- ^ «EATCS называет стипендиатов 2014 года», Milestones: Computer Science Awards, Назначения, Коммуникации ACM, 58 (1): 24 января 2015 г., Дои:10.1145/2686734, S2CID 11485095
внешняя ссылка
 | Викискладе есть медиафайлы по теме Юрий Гуревич. |
