2825ab80-d9fd-4c18-b706-8c6ec97863a6|0|.0

On-line конференция с Юрием Гуревичем, исследователем Microsoft Research
Юрий Гуревич – математик и информатик, создатель теории машин абстрактных состояний. Последние 11 лет он работает в Microsoft Research, где он основал группу фундаментальных исследований в области программной инженерии.
Он также является заслуженным профессором Мичиганского университета и автором более двухсот научных статей по логике, конечной теории моделей, теории машин абстрактных состояний, программной инженерии.
Юрий Гуревич является ACM Fellow и Guggenheim Fellow, членом Европейской Академии Наук, почетным доктором Бельгийского университета Hasselt и Уральского Государственного Университета.
Вы можете задать вопросы Юрию Гуревичу в нашем блоге.