마틴 하이랜드
Martin Hyland마틴 하이랜드 | |
|---|---|
 | |
| 태어난 | 존 마틴 엘리엇 하이랜드 |
| 모교 | 옥스퍼드 대학교 (DPHIL) |
| 과학 경력 | |
| 필드 | 수학 이론 전산학[1] |
| 기관 | 케임브리지 대학교 |
| 논문 | 계수 가능한 함수에 대한 재귀 이론 (1975) |
| 박사학위 자문위원 | 로빈 간디[2] |
| 박사과정 학생 | |
| 웹사이트 | www.dpmms.cam.ac.uk/ |
(존) 마틴 엘리엇 하이랜드(Martin Elliot Hyland)는 케임브리지 대학교의 수학 논리학 교수로, 케임브리지 킹스 칼리지의 동료다.그의 관심사는 수학 논리학, 범주 이론, 이론 컴퓨터 과학 등이다.[5]
교육
하이랜드는 옥스퍼드 대학에서 교육을 받았으며, 1975년[6] 로빈 간디가 감독한 연구로 철학 박사 학위를 받았다.[2]
연구 및 경력
마틴 하이랜드는 논리학(증거 이론, 재귀 이론), 이론 컴퓨터 과학(람바-미적분학과 의미론)과 고차원 대수학에 적용된 범주 이론에 대한 연구로 가장 잘 알려져 있다.[1]특히 그는 효과적인 토포스(토포스 이론 내)와 게임 의미론에 대한 연구로 잘 알려져 있다.그의 전 박사과정 학생으로는 유제니아 쳉과[3][7] 발레리아 드 파이바가 있다.[2][4]
참조
- ^ a b Google Scholar에 의해 색인화된 Martin Hyland 출판물
- ^ a b c 수학 계보 프로젝트 마틴 하이랜드
- ^ a b Cheng, Eugenia (2002). Higher-dimensional category theory : opetopic foundations (PDF). cheng.staff.shef.ac.uk (PhD thesis). University of Cambridge. OCLC 879393286. EThOS uk.bl.ethos.597569. Archived from the original (PDF) on 2008-10-31.
- ^ a b Paiva, Valeria Correa Vaz de (1988). The dialectica categories (PhD thesis). University of Cambridge. EThOS uk.bl.ethos.315050.
- ^ "Fellows of King's College". Cambridge University Reporter. 2008-10-02. Retrieved 2009-07-15.
- ^ Hyland, John Martin Elliot (1975). Recursion Theory on the Countable Functionals. bodleian.ox.ac.uk (PhD thesis). University of Oxford. OCLC 67751639. EThOS uk.bl.ethos.460247.
- ^ Cheng, Eugenia; Hyland, Martin; Power, John (2003). "Pseudo-distributive Laws". Electronic Notes in Theoretical Computer Science. 83: 227–245. doi:10.1016/S1571-0661(03)50012-3. ISSN 1571-0661.
| 일반 | |
|---|---|
| 국립도서관 | |
| 과학 데이터베이스 | |
| 기타 | |
