Yuri Gurevich とは

ユリGurevichは、アメリカのコンピュータ科学者であり、数学者であり、抽象状態機械の発明者です。マイクロソフト・リサーチのプリンシパル・リサーチャーでソフトウェア・エンジニアリング・グループの基盤を築き、ミシガン大学の名誉教授です。
Gurevichはソ連で教育され、米国に来る前にイスラエルで教えられました。彼のソビエト時代の最もよく知られた仕事は、古典的な決定問題です。イスラエルでは、GurevichはSaharon Shelahと共同して二次的なモナディック理論を研究しました。忘れられない決定Gurevich-Harringtonの定理も同様の期間である。彼のアメリカの期間については、Gurevichは有限モデル理論と抽象状態機械理論の研究で最もよく知られています。彼は平均的な複雑さの理論にも貢献しています。
GurevichはACMフェロー、グッゲンハイムフェロー、Academia Europaeaのメンバー、ベルギーハッセルト大学のHonoris Causa博士、ロシアのウラル州立大学である。 2014年には、理論計算機科学のための欧州連合(European Association for Theoretical Computer Science)の10人の創立者の一人となりました。