Юрий Гуревич - Yuri Gurevich

Юрий Гуревич на ETH Цюрих в мае 2004 г., фотография Бертран Мейер.

Юрий Гуревич является Американец специалист в области информатики и математик и изобретатель абстрактные машины состояний. Он главный научный сотрудник Microsoft Research, где он основал Основы программной инженерии группа, и он Заслуженный профессор в отставке на университет Мичигана.

Гуревич получил образование в Советский союз, и преподавал в Израиль до приезда в США. Самая известная работа его советского периода находится на классическая проблема решения. В Израиле Гуревич работал с Сахарон Шелах намонадический второго порядка теории. В Теорема о забвенной детерминированности Гуревича -Харрингтон тоже того периода. Что касается своего американского периода, то Гуревич наиболее известен своими работами над теория конечных моделей и теория абстрактные машины состояний. Он также внес свой вклад в средняя сложность теория.[1]

Гуревич Член ACM,[2] а Сотрудник Гуггенхайма,[3] членом Academia Europaea, и Dr. Honoris Causa из Университет Хасселта в Бельгия и из Уральский государственный университет в Россия В 2014 году он стал одним из десяти инаугурационных сотрудников Европейская ассоциация теоретической информатики.[4]

Рекомендации

  1. ^ Юрий Гуревич. Средняя полнота кейса. Журнал компьютерных и системных наук, 42: 346–398, 1991.
  2. ^ Стипендиаты ACM, Ассоциация вычислительной техники. Доступ 16 февраля 2010 г.
  3. ^ Список стипендиатов, В архиве 22 июня 2011 г. Wayback Machine Мемориальный фонд Джона Саймона Гуггенхайма. Доступ 16 февраля 2010 г.
  4. ^ «EATCS называет стипендиатов 2014 года», Milestones: Computer Science Awards, Назначения, Коммуникации ACM, 58 (1): 24 января 2015 г., Дои:10.1145/2686734, S2CID  11485095

внешняя ссылка