Конор МакБрайд - Conor McBride

Конор МакБрайд
Родившийся	(1973-02-18) 18 февраля 1973 г. (47 лет) Newtownards, Северная Ирландия
Гражданство	объединенное Королевство
Альма-матер	Эдинбургский университет
Научная карьера
Поля	Информатика Теория типов
Тезис	Зависимо типизированные функциональные программы и их доказательства  (1999)

Конор МакБрайд (род. 18 февраля 1973 г.) - преподаватель кафедры Компьютерные и информационные науки на Стратклайдский университет.^[1] В 1999 году он закончил Доктор Философии (Доктор философии) в Зависимо типизированные функциональные программы и их доказательства^[2] на Эдинбургский университет за его работу в теория типов.^[3] Ранее он работал в Даремский университет и кратко на Ройал Холлоуэй, Лондонский университет до того, как присоединиться к академическому составу Университета Стратклайда.

Он участвовал в разработке международные стандарты в программировании и информатике, как член Международная федерация обработки информации (ИФИП) Рабочая группа 2.1 ИФИП по алгоритмическим языкам и исчислениям,^[4] который указан, поддерживает и поддерживает языки программирования АЛГОЛ 60 и АЛГОЛ 68.^[5]

Он предпочитает и часто использует язык Haskell.^[6]

Исследование

Его наиболее заметные исследования относятся к области теория типов.^[7] Он был соавтором языка программирования Эпиграмма с Джеймсом МакКинной.^[8] Несколько его статей, в том числе совместная статья, определяющая язык эпиграмм, были опубликованы в Журнал функционального программирования.^[9]

Избранная библиография

• с Дагандом, Пьер-Эварист (2014). «Передача функций через украшения». Уведомления ACM SIGPLAN - ICFP. 47 (9): 103–114. arXiv:1201.4801. Дои:10.1145/2398856.2364544.
• с Бентоном, Ником; Hur, Chung-Kil; Кеннеди, Эндрю Дж. (Август 2012 г.). "Сильно типизированные представления терминов в Coq" (PDF). Журнал автоматизированных рассуждений. 49 (2): 141–159. CiteSeerX  10.1.1.296.8805. Дои:10.1007 / s10817-011-9219-0.
• с Чепменом, Джеймсом; Даганд, Пьер-Эварист; Моррис, Питер (сентябрь 2010 г.). «Нежное искусство левитации» (PDF). Уведомления ACM SIGPLAN - ICFP. 45 (9): 3–14. Дои:10.1145/1932681.1863547.
• с Патерсоном, Росс (январь 2008 г.). «Аппликативное программирование с эффектами» (PDF). Журнал функционального программирования. 18 (1).
• с Альтенкирхом, Торстеном; Моррис, Питер (2007). «Общее программирование с зависимыми типами» (PDF). Типовое программирование. Конспект лекций по информатике. 4719. С. 209–257.
• с Альтенкирхом, Торстеном; МакКинна, Джеймс. «Почему зависимые типы имеют значение» (PDF).
• с Altenkirch, Thorsten, eds. (2007). Типы доказательств и программ: международный семинар. Springer. 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.
• с Эбботтом, Майклом; Альтенкирх, Торстен; Гани, Нил (2003). «Производные от контейнеров» (PDF). Труды 6-й Международной конференции по типизированным лямбда-исчислениям и приложениям: 16–30.
• – (2002). «Исключение с мотивом» (PDF). Типы доказательств и программ. Конспект лекций по информатике. 2277. С. 197–216.
• – (2001). «Производная регулярного типа - это его тип контекстов с одной дырой» (PDF).
• – (2000). «Зависимо типизированные функциональные программы и их доказательства» (PDF). Научно-технический колледж Эдинбургского университета.

Видео лекции

• Макбрайд, Конор (3 февраля 2011 г.). Зависимо типизированное программирование: введение в Agda (первая из 15 лекций) (видео). Иэн МакГиннисс.
• Макбрайд, Конор (10 сентября 2012 г.). Основной доклад ICFP 2012, понедельник. Конор МакБрайд: Агда-любопытно? (видео). Малькольм Уоллес.

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

1. «Доктор Конор МакБрайд: Читатель: Компьютерные и информационные науки». Университет Стратклайда: компьютерные и информационные науки.
2. Макбрайд, Конор (июль 2000 г.). «Зависимо типизированные функциональные программы и их доказательства». Эдинбургский исследовательский архив. Эдинбургский университет. Получено 15 января 2016.
3. Макбрайд, Конор (1999). «Зависимо типизированные функциональные программы и их доказательства» (PDF). Эдинбургский университет.
4. Jeuring, Йохан; Меертенс, Ламберт; Гуттманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы 2.1 ИФИП». Фосвики. Получено 16 октября 2020.
5. Swierstra, Doaitse; Гиббонс, Джереми; Меертенс, Ламберт (2 марта 2011 г.). "ScopeEtc: IFIP21: Foswiki". Фосвики. Получено 16 октября 2020.
6. Макбрайд, Конор. "Конор смотрит в окно". Компьютерные и информационные науки. Стратклайдский университет. Получено 18 августа 2020.
7. Альтенкирх, Торстен; Макбрайд, Конор. «К теории типа наблюдений» (PDF). StrictlyPositive.org.
8. Макбрайд, Конор; МакКинна, Джеймс (январь 2004 г.). "Вид слева". Журнал функционального программирования. 14 (1): 69–111. Дои:10.1017 / s0956796803004829.
9. Cambridge Journals Online: журнал функционального программирования, Конор МакБрайд

внешняя ссылка

• Официальный веб-сайт, Университет Стратклайда
• Официальный веб-сайт, личные
• Конор МакБрайд на Проект "Математическая генеалогия"
• Конор МакБрайд в DBLP Сервер библиографии