ユーリ・グレヴィッチ

ミシガン大学名誉教授のユーリ・グレビッチは、アメリカのコンピュータ科学者、数学者であり、抽象状態マシンの発明者です。

グレヴィッチはソ連で生まれ、教育を受けた。^[1]彼はソ連で数学を教え、その後イスラエルで教えた後、1982年に米国に移住した。ソ連時代の最も有名な研究は、古典的な決定問題に関するものである。^{[2]イスラエルでは、グレヴィッチは}サハロン・シェラとともにモナドの 2階 理論に 取り組んだ。^{[3]グレヴィッチ・}ハリントンの 忘却決定性定理もこの時代のものである。^[4]

1982年から1998年まで、グレヴィッチはミシガン大学でコンピュータサイエンスを教え、 平均ケース複雑度[6]を含む計算複雑性理論^[5]のさまざまな側面について研究を始めました。彼は有限モデル理論 という新興分​​野の創始者の一人となりました。 [ ^{7 ]}

最も重要なことは、アルゴリズムとは何かという問題に興味を持つようになったことです。これが彼を抽象状態機械(ASM)の理論へと導きました。ASM テーゼは、動作的にはすべてのアルゴリズムが ASM であると述べています。^[8] いくつかの説得力のある公理により、シーケンシャル ASM テーゼ^[9] とチャーチ・チューリング テーゼ^[10]が導き出されました。ASM テーゼは、他のいくつかのアルゴリズム クラスでも証明されています。^{[11] [12]}

1998年から2018年まで、グレビッチはマイクロソフトリサーチに在籍し、ソフトウェアエンジニアリングの基礎に関するグループを設立しました。このグループは、抽象ステートマシンの理論に基づいてSpec Explorerを構築しました。このツールはWindowsチームに採用され、ツールの修正版は、マイクロソフトが欧州連合の高レベルの実行可能仕様の要求を満たすのに役立ちました。その後、グレビッチはさまざまなマイクロソフトグループと協力して、 アクセス制御、^[14]、 差分圧縮、^[15] 、プライバシーなど、さまざまな効率、安全性、セキュリティの問題に取り組みました 。^{[16 ]}

1988年以来、グレヴィッチは欧州理論計算機科学協会の紀要で「計算機科学における論理」のコラムを担当してきました。^{[1] 2013年以来、グレヴィッチは主に}量子コンピューティングに取り組んでおり 、^[17] 従来の研究分野での研究を続けています。

グレヴィッチは、2020年のAAASフェロー、^[18] 1997年のACMフェロー、^[19] 1995年のグッゲンハイムフェロー、^[20]ヨーロッパ理論計算機科学協会 の初代フェロー、^[21]アカデミア・ヨーロッパ の会員であり、ベルギーのハッセルト大学とロシアのウラル国立大学の名誉博士です。

• グレヴィッチのホームページ
• ユーリ・グレヴィッチ、数学系譜プロジェクト

ウィキメディア・コモンズには、ユーリ・グレビッチに関連するメディアがあります。