马丁·海兰德:

出生:约翰·马丁·艾略特·海兰德

居住地:剑桥, 英国

母校:牛津大学 (哲学博士)

网站:www.dpmms.cam.ac.uk/~martin/

科学生涯

研究领域:数学理论计算机科学

机构:剑桥大学

论文:可数泛函中的递归理论(Recursion Theory on the Countable Functionals)（1975）

博士导师:Robin Gandy

博士生:Eugenia ChengValeria de Paiva

约翰·马丁·艾略特·海兰德((John) Martin Elliott Hyland)是剑桥大学数理逻辑教授和剑桥大学国王学院研究员。他的研究兴趣包括数理逻辑、范畴论和理论计算机科学。