Мартин Хайланд
Мартин Хайланд | |
|---|---|
 | |
| Рожденный | Джон Мартин Эллиотт Хайленд |
| Альма-матер | Оксфордский университет (DPhil) |
| Научная карьера | |
| Поля | Математика Теоретическая информатика [1] |
| Учреждения | Кембриджский университет |
| Диссертация | Теория рекурсии счетных функционалов (1975) |
| Докторантура | Робин Ганди [2] |
| Докторанты | |
| Веб-сайт | www |
(Джон) Мартин Эллиот Хайланд — профессор математической логики и Кембриджского университета научный сотрудник Королевского колледжа Кембриджа . Его интересы включают математическую логику, теорию категорий и теоретическую информатику . [5]
Образование [ править ]
Хайланд получил образование в Оксфордском университете ему была присуждена степень доктора философии. , где в 1975 году [6] за исследования под руководством Робина Ганди . [2]
и Исследования карьера
Мартин Хайланд наиболее известен своими работами по теории категорий, применяемой к логике ( теория доказательств , теория рекурсии ), теоретической информатике ( лямбда-исчисление и семантика ) и алгебре более высоких измерений . [1] В частности, он известен работами по эффективному топосу (в рамках теории топоса ) и по семантике игр . Среди его бывших докторантов Евгения Ченг. [3] [7] и Валерия де Пайва . [2] [4]
Ссылки [ править ]
- ^ Jump up to: Перейти обратно: а б Публикации Мартина Хайланда , индексируемые Google Scholar
- ^ Jump up to: Перейти обратно: а б с Мартин Хайланд в проекте «Математическая генеалогия»
- ^ Jump up to: Перейти обратно: а б Ченг, Евгения (2002). Теория категорий многомерности: оптопические основы (PDF) . cheng.staff.shef.ac.uk (кандидатская диссертация). Кембриджский университет. OCLC 879393286 . EThOS uk.bl.ethos.597569 . Архивировано из оригинала (PDF) 31 октября 2008 года.
- ^ Jump up to: Перейти обратно: а б Пайва, Валерия Корреа Вас де (1988). Категории диалектики (кандидатская диссертация). Кембриджский университет. EThOS uk.bl.ethos.315050 .
- ^ «Стипендиаты Королевского колледжа» . Репортер Кембриджского университета . 2 октября 2008 года . Проверено 15 июля 2009 г.
- ^ Хайленд, Джон Мартин Эллиот (1975). Теория рекурсии на счетных функционалах . bodleian.ox.ac.uk (докторская диссертация). Оксфордский университет. OCLC 67751639 . EThOS uk.bl.ethos.460247 .
- ^ Ченг, Евгения ; Хайланд, Мартин; Пауэр, Джон (2003). «Псевдораспределительные законы» . Электронные заметки по теоретической информатике . 83 : 227–245. дои : 10.1016/S1571-0661(03)50012-3 . ISSN 1571-0661 .
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
 | Эта статья о математике из Соединенного Королевства незавершена . Вы можете помочь Википедии, расширив ее . |