馬丁·海蘭德

約翰·馬丁·艾略特·海蘭德（(John) Martin Elliott Hyland）是劍橋大學數理邏輯教授和劍橋大學國王學院研究員。他的研究興趣包括數理邏輯、範疇論和理論計算機科學。 ^[5]

馬丁·海蘭德
出生	約翰·馬丁·艾略特·海蘭德
居住地	劍橋, 英國
母校	牛津大學 (哲學博士)
網站	www.dpmms.cam.ac.uk/~martin/
科學生涯
研究領域	數學 理論計算機科學[1]
機構	劍橋大學
論文	可數泛函中的遞歸理論(Recursion Theory on the Countable Functionals)（1975）
博士導師	Robin Gandy[2]
博士生	Eugenia Cheng[3] Valeria de Paiva[4]

教育

海蘭德就讀於牛津大學，於 1975 年獲得哲學博士學位^[6] ，博士導師為Robin Gandy。

研究職涯

Martin Hyland 最出名的是他在應用於邏輯（證明論、遞歸論）、理論計算機科學（ λ演算和語義）和高維代數的範疇論方面的工作。 ^[1]他尤其以在有效拓撲（在拓撲理論內）和遊戲語義方面的工作而聞名。他指導的博士生包括Eugenia Cheng ^[7]和Valeria de Paiva 。