Мартин Хайланд - Martin Hyland

Для ирландского гангстера см. Мартин «Марло» Хайланд.
Мартин Хайланд
Профессор Мартин Хайланд.jpg
Родившийся
Джон Мартин Эллиотт Хайланд
Альма-матерОксфордский университет (Доктор философии)
Научная карьера
ПоляМатематика
Теоретическая информатика[1]
УчрежденияКембриджский университет
ТезисТеория рекурсии на счетных функционалах  (1975)
ДокторантРобин Ганди[2]
Докторанты
Интернет сайтwww.dpmms.cam.ac.Великобритания/ ~ Мартин/

(Джон) Мартин Эллиотт Хайланд является профессор из математическая логика на Кембриджский университет и парень из Королевский колледж, Кембридж. Его интересы включают математическую логику, теория категорий, и теоретическая информатика.[5]

Образование

Хайленд получил образование в Оксфордский университет где он был награжден Доктор Философии степень в 1975 г.[6] для исследований под руководством Робин Ганди.[2]

Исследования и карьера

Мартин Хайланд наиболее известен своей работой по теории категорий в применении к логике (теория доказательств, теория рекурсии ), теоретическая информатика (лямбда-исчисление и семантика ) и многомерная алгебра.[1] В частности, он известен работой над эффективные топосы (в теория топоса ) и дальше семантика игры. Среди его бывших докторантов Евгения Ченг[3][7] и Валерия де Пайва.[2][4]

Рекомендации

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