マーティン・ハイランド

（ジョン）マーティン・エリオット・ハイランドは、ケンブリッジ大学の数理論理学教授であり、ケンブリッジ大学キングス・カレッジのフェローである。彼の研究分野は、数理論理学、圏論、理論計算機科学である。^{[ 5 ]}

ハイランドはオックスフォード大学で教育を受け、ロビン・ガンディの指導の下での研究により1975年に哲学博士号を授与された^{[ 6 ]}。^{[ 2 ]}

マーティン・ハイランドは、論理（証明論、再帰理論）、理論計算機科学（ラムダ計算と意味論）、高次元代数に適用される圏論の研究で最もよく知られています。^{[ 1 ]}特に、彼は有効トポス（トポス理論内）とゲーム意味論の研究で知られています。彼の元博士課程学生には、ユージニア・チェン^{[ 3 ] [ 7 ]}と ヴァレリア・デ・パイヴァ^{[ 2 ] [ 4 ]}がいます。

バース大学は2015年6月にハイランドに名誉理学博士号を授与した。 ^{[ 8 ]}