马丁·海兰德

约翰·马丁·艾略特·海兰德（(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 。