Конор МакБрайд
Конор МакБрайд | |
---|---|
Рожденный | |
Альма-матер | Эдинбургский университет |
Научная карьера | |
Поля | Информатика Теория типов |
Учреждения | Даремский университет Ройал Холлоуэй, Лондонский университет Университет Стратклайда |
Диссертация | Зависимо типизированные функциональные программы и их доказательства (1999) |
Веб-сайт | строго положительный |
Конор МакБрайд (родился 18 февраля 1973 г.) — преподаватель факультета компьютерных и информационных наук Университета Стратклайда . [1] В 1999 году он получил степень доктора философии (Ph.D.) в области зависимо типизированных функциональных программ и их доказательств. [2] в Эдинбургском университете за работу по теории типов . [3] Ранее он работал в Даремском университете и некоторое время в Ройял Холлоуэй, Лондонский университет, прежде чем присоединиться к академическому персоналу в Университете Стратклайда.
Он участвовал в разработке международных стандартов в области программирования и информатики, будучи членом Международной федерации обработки информации (IFIP) рабочей группы 2.1 IFIP по алгоритмическим языкам и исчислениям. [4] которая определила , поддерживает и поддерживает языки программирования АЛГОЛ 60 и АЛГОЛ 68 . [5]
Он предпочитает и часто использует язык Haskell . [6]
Исследования [ править ]
Его наиболее заметные исследования находятся в области теории типов . [7] Вместе с Джеймсом Маккинной он создал язык программирования Epigram . [8] Несколько его статей, включая совместно написанную статью, определяющую язык Epigram, были опубликованы в Journal of Functional Programming . [9]
Избранная библиография [ править ]
- с Дагандом, Пьером-Эваристом (2014). «Перенос функций через орнаменты». Уведомления ACM SIGPLAN — ICFP . 47 (9): 103–114. arXiv : 1201.4801 . дои : 10.1145/2398856.2364544 .
- с Бентоном, Ником; Хур, Чунг-Киль; Кеннеди, Эндрю Дж. (август 2012 г.). «Строго типизированные представления терминов в Coq» (PDF) . Журнал автоматизированного рассуждения . 49 (2): 141–159. CiteSeerX 10.1.1.296.8805 . дои : 10.1007/s10817-011-9219-0 . S2CID 34005862 .
- с Чепменом Джеймсом; Даганд, Пьер-Эварист; Моррис, Питер (сентябрь 2010 г.). «Нежное искусство левитации» (PDF) . Уведомления ACM SIGPLAN — ICFP . 45 (9): 3–14. дои : 10.1145/1932681.1863547 .
- с Патерсоном, Росс (январь 2008 г.). «Аппликативное программирование с эффектами» (PDF) . Журнал функционального программирования . 18 (1). дои : 10.1017/S0956796807006326 .
- с Альтенкирхом, Торстеном; Моррис, Питер (2007). «Общее программирование с зависимыми типами» (PDF) . Общее программирование типов данных . Конспекты лекций по информатике . Том. 4719. стр. 209–257.
- с Альтенкирхом, Торстеном; Маккинна, Джеймс. Почему зависимые типы имеют значение (PDF) .
- с Альтенкирхом, Торстеном, ред. (2007). Типы доказательств и программ: Международный семинар . Спрингер. ISBN 978-3540744634 .
- – (2006). «Несколько конструкций на конструкторах». Типы доказательств и программ . Конспекты лекций по информатике. Том. 3839. стр. 186–200. CiteSeerX 10.1.1.65.327 .
- – (2005). «Эпиграмма: практическое программирование с зависимыми типами» (PDF) . Расширенное функциональное программирование . Конспекты лекций по информатике. Том. 3622. стр. 130–170.
- с Маккинной, Джеймсом (январь 2004 г.). «Вид слева» (PDF) . Журнал функционального программирования . 14 (1): 69–111. дои : 10.1017/s0956796803004829 . S2CID 6232997 .
- с Эбботтом, Майклом; Альтенкирх, Торстен; Гани, Нил (2003). «Производные контейнеров» (PDF) . Материалы 6-й Международной конференции по типизированным лямбда-исчислениям и их приложениям : 16–30.
- – (2002). «Устранение по мотиву» (PDF) . Типы доказательств и программ . Конспекты лекций по информатике. Том. 2277. стр. 197–216.
- – (2001). Производной обычного типа является его тип контекстов с одной дыркой (PDF) .
- – (2000). Зависимо типизированные функциональные программы и их доказательства (PDF) . Колледж науки и техники Эдинбургского университета.
Видеолекции [ править ]
- Макбрайд, Конор (3 февраля 2011 г.). Зависимое типизированное программирование: введение в Agda (первая из 15 лекций) (видео). Иэн МакГиннисс.
- Макбрайд, Конор (10 сентября 2012 г.). Основной доклад ICFP 2012 в понедельник. Конор МакБрайд: Агда, интересно? (видео). Малькольм Уоллес.
Ссылки [ править ]
- ^ «Доктор Конор МакБрайд: Читатель: Компьютерные и информационные науки» . Университет Стратклайда: компьютерные и информационные науки .
- ^ Макбрайд, Конор (июль 2000 г.). «Зависимо типизированные функциональные программы и их доказательства» . Эдинбургский исследовательский архив . Эдинбургский университет. hdl : 1842/374 . Проверено 15 января 2016 г.
- ^ Макбрайд, Конор (1999). «Зависимо типизированные функциональные программы и их доказательства» (PDF) . Эдинбургский университет.
- ^ Журинг, Йохан; Меертенс, Ламберт ; Гутманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы ИФИП 2.1» . Фосвики . Проверено 16 октября 2020 г.
- ^ Свирстра, немец; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). «ScopeEtc: IFIP21: Foswiki» . Фосвики . Проверено 16 октября 2020 г.
- ^ МакБрайд, Конор. «Конор смотрит в окно» . Компьютерные и информационные науки . Университет Стратклайда . Проверено 18 августа 2020 г.
- ^ Альтенкирх, Торстен ; МакБрайд, Конор. «К теории наблюдательных типов» (PDF) . StrictlyPositive.org .
- ^ Макбрайд, Конор; Маккинна, Джеймс (январь 2004 г.). «Взгляд слева» . Журнал функционального программирования . 14 (1): 69–111. дои : 10.1017/s0956796803004829 . S2CID 6232997 .
- ^ Cambridge Journals Online: Журнал функционального программирования, Конор МакБрайд
Внешние ссылки [ править ]
- Официальный сайт Университета Стратклайда
- Официальный сайт , личный
- Конор МакБрайд в проекте «Математическая генеалогия»
- Конор МакБрайд на DBLP библиографическом сервере