Jump to content

Конор МакБрайд

Конор МакБрайд
Рожденный ( 1973-02-18 ) 18 февраля 1973 г. (51 год)
Альма-матер Эдинбургский университет
Научная карьера
Поля Информатика
Теория типов
Учреждения Даремский университет
Ройал Холлоуэй, Лондонский университет
Университет Стратклайда
Диссертация Зависимо типизированные функциональные программы и их доказательства   (1999)
Веб-сайт строго положительный .org

Конор МакБрайд (родился 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]

Избранная библиография [ править ]

Видеолекции [ править ]

Ссылки [ править ]

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

Внешние ссылки [ править ]

Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 41a0465459314b12090b1efdb2e1783c__1705265880
URL1:https://arc.ask3.ru/arc/aa/41/3c/41a0465459314b12090b1efdb2e1783c.html
Заголовок, (Title) документа по адресу, URL1:
Conor McBride - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)