text: 約翰·馬丁·艾略特·海蘭德((John) Martin Elliott Hyland)是劍橋大學數理邏輯教授和劍橋大學國王學院研究員。他的研究興趣包括數理邏輯、範疇論和理論計算機科學。教育.海蘭德就讀於牛津大學，於 1975 年獲得哲學博士學位 ，博士導師為Robin Gandy。研究職涯.Martin Hyland 最出名的是他在應用於邏輯和遊戲語義方面的工作而聞名。他指導的博士生包括Eugenia Cheng 和Valeria de Paiva 。
metadata.dataset: erhwenkuo/wikipedia-zhtw
metadata.title: 馬丁·海蘭德
metadata.url: https://zh.wikipedia.org/wiki?curid=8098605