Michael J. C. Gordon とは

Michael John Caldwell "Mike" Gordon FRS(1948年2月28日 – 8月22日2017年)は、英国のコンピュータ科学者の一人でした。
Mike GordonはHOL定理証明者の開発を率いた。 HOLシステムは、より高次の論理で対話定理を証明するための環境である。その最も顕著な特徴は、メタ言語MLによる高度なプログラム可能性です。このシステムには、純粋数学の形式化から産業用ハードウェアの検証まで、幅広い用途があります。
HOLシステム(TPHOLs)に関する一連の国際会議が開催されています。最初の3つは、公表されていない非公式のユーザー会議でした。今の伝統は、以前の会議の場所とは異なる大陸での年次会議のためです。 1996年からは、高次論理で証明されているすべての定理をカバーするために範囲が広がった。
ゴードンは、イギリスのヨークシャー州のリポンで生まれました。彼は彼の博士号を取得しました。 1973年にエジンバラ大学で「純粋なLISPプログラムの評価と表記」と題する論文を発表しました。彼は1981年以来ケンブリッジ大学コンピュータラボで、最初は講師として、1988年に読者に、1996年には教授に移行しました。1994年にロイヤルソサエティのフェローに選出され、2008年には2日間のツール彼の60歳の誕生日を記念して、システムインフラストラクチャの検証技術が開催されました。彼は短い病気の後でケンブリッジで亡くなり、妻と2人の息子によって生き残りました。