Робин Кокетт
Робин Кокетт | |
|---|---|
| Рожденный | 4 мая 1952 г. |
| Альма-матер | Уорикский университет ( бакалавр наук , 1974 г.) Университет Лидса ( доктор философии , 1979 г.) |
| Научная карьера | |
| Поля | Теория категорий Квантовое программирование |
| Учреждения | Университет Калгари Университет Теннесси |
| Диссертация | Инъективы и локализации в теории категорий (1979) |
| Докторантура | Альфред Голди |
Джеймс Робин Бернард Кокетт (родился 4 мая 1952 г.) [1] — британский ученый-компьютерщик и профессор Университета Калгари . [2]
Образование
[ редактировать ]Кокетт получил степень бакалавра наук в Уорикском университете в 1974 году. [3] и получил докторскую степень в Университете Лидса в 1979 году за исследования инъективных форм и локализаций в теории категорий , обучаясь у Альфреда Голди . [4]
Карьера и исследования
[ редактировать ]Коккет — профессор информатики в Университете Калгари с 1991 года, ранее занимал должность профессора Университета Теннесси . [5] [6]
Кокетт работает в основном в области теории категорий , категориального программирования и квантового программирования . [3] Кокетт является членом организационного комитета конференции «Фундаментальные методы в информатике» (FMCS). [3] ежегодный семинар для исследователей в области теоретической информатики и теории категорий, поддерживаемый Тихоокеанским институтом математических наук (PIMS). [7]
Избранные публикации
[ редактировать ]Его наиболее цитируемые публикации [2] включать:
- Слабо дистрибутивные категории [8]
- Категории ограничений I: категории частичных карт. [9]
- Дифференциальные категории [10]
- Декартовы дифференциальные категории [11]
- Дифференциальная структура, касательная структура и SDG [12]
Личная жизнь
[ редактировать ]Кокетт женат на профессоре Университета Калгари Полли Ноултон Коккет с 1984 года. [13] у них трое детей: Одри Лейн, Роуэн и Грейсон. [14] Кокетт - заядлый лыжник, принимавший участие в канадских соревнованиях Биркебайнер . неоднократно [15] [16] а также волонтерство в качестве инструктора. [14]
Кокетт и его жена участвовали волонтёрами в многочисленных экологических инициативах, в том числе в качестве лекторов в программе сохранения биоразнообразия парков Калгари в парке Нос-Хилл . [14] и с Ассоциацией дикой природы Альберты , [14] где работа его семьи принесла им награду города Калгари. [14]
Ссылки
[ редактировать ]- ^ «Индексная запись» . Свободная БМД . ОНС . Проверено 24 сентября 2023 г.
- ^ Jump up to: а б Публикации Робина Кокетта , индексируемые Google Scholar
- ^ Jump up to: а б с «РОБИН КОКЕТТ» . Университет Калгари . Проверено 24 сентября 2023 г.
- ^ «Джеймс Робин Бернард Кокетт» . Проект математической генеалогии . Проверено 24 сентября 2023 г.
- ^ «55 преподавателей UT выиграли гранты Теннесси завтра» . The Knoxville News-Sentinel . 18 февраля 1983 г. с. А5.
- ^ Л. Е. Паркер (1988). «Алгоритм навигации робота для движущихся препятствий». Магистерская диссертация . Университет Теннесси: 2.
- ^ «Основные методы информатики» . Тихоокеанский институт математических наук . Проверено 24 сентября 2023 г.
- ^ JRB Кокетт; РЭГ Сили (13 января 1997 г.). «Слабо дистрибутивные категории». Журнал чистой и прикладной алгебры . 114 (2): 133–173. дои : 10.1017/CBO9780511525902.004 .
- ^ JRB Кокетт; Стивен Лэк (6 января 2002 г.). «Категории ограничений I: категории частичных карт». Теоретическая информатика . 270 (1–2): 223–259. arXiv : math/0610500 . дои : 10.1016/S0304-3975(00)00382-0 . S2CID 12444870 .
- ^ РФ Блют; JRB Кокетт; РЭГ Сили (1 ноября 2006 г.). «Дифференциальные категории». Математические структуры в информатике . 16 (6): 1049–1083. дои : 10.1017/S0960129506005676 . S2CID 11818257 .
- ^ РФ Блют; JRB Кокетт; РЭГ Сили (10 декабря 2009 г.). «Декартовы дифференциальные категории» (PDF) . Теория и приложения категорий . 22 (23): 622–672.
- ^ JRB Кокетт; GSH Cruttwell (7 мая 2013 г.). «Дифференциальная структура, касательная структура и SDG». Прикладные категориальные структуры . 22 (2): 341–417. дои : 10.1007/s10485-013-9312-0 . S2CID 254230142 .
- ^ «ОБЯЗАТЕЛЬСТВА» . Бостон Глобус . 25 марта 1984 г. с. 84.
- ^ Jump up to: а б с д и «15-я ежегодная премия за лидерство» . Калгари Геральд . 21 апреля 2011. с. Н5.
- ^ «БЕГОВЫЕ ЛЫЖИ» . Эдмонтонский журнал . 19 февраля 2004 г. с. Д5.
- ^ «МЕСТНЫЕ БЕГОВЫЕ ЛЫЖИ» . Эдмонтонский журнал . 16 февраля 2007 г. с. С7.