Кристин Полин-Моринг (род. 1962) [1] - математик, логик и специалист по информатике , а также профессор [ неоднозначно ] в Университете Париж-Сакле , наиболее известном благодаря разработке интерактивного средства доказательства теорем Coq .
Кристин Полин-Моринг | |
---|---|
Родившийся | 1962 г. |
Альма-матер | Парижский университет Дидро |
Известен | Coq |
Награды | Премия ACM Software System Award (2013) |
Научная карьера | |
Поля | Математика , информатика |
Учреждения | Университет Париж-Сакле |
Докторант | Жерар Юэ |
биография
Полин-Моринг получила докторскую степень в 1989 году под руководством Жерара Юэ . [2] Она была профессором Университета Париж-Сакле с 1997 года и деканом факультета наук Париж-Сакле с 2016 года. [3]
С 2012 по 2015 год она была научным координатором Labex DigiCosme. [4] В настоящее время [ когда? ] она является членом редколлегии Journal of Formalized Reasoning . [5]
Признание
Паулины-Möhring выиграл Мишель-Monpetit премию Французской академии наук в 2015 году [6]
изОна и остальная часть команды разработчиков Coq ( Тьерри Кокан , Gérard Huet , Бруно Баррас, Жан-Кристоф Filliâtre, Hugo Herbelin, Четан Мурти, Ив Берто и Пьер Castéran) выиграл в 2013 году премию ACM Software System [7] [8] награжден от Ассоциации вычислительной техники .
Она была избрана в Academia Europaea в 2014 году. [9]
дальнейшее чтение
- Конспект лекций по информатике. Типы доказательств и программ : Международный семинар TYPES'96, Оссуа, Франция, 15–19 декабря 1996 г. Избранные статьи; Эдуардо Хименес, Кристин Полин-Моринг, Springer [10]
- Типы доказательств и программ: международный семинар, TYPES 2004, Жуи-ан-Жоза, Франция, 15–18 декабря 2004 г., исправленные избранные статьи: 3839 (конспекты лекций по информатике) ; Жан-Кристоф Филлиатр, Кристин Полин-Моринг, Бенджамин Вернер, Springer, 2008 г. [11]
- Интерактивное доказательство теорем: 4-я международная конференция, ITP 2013, Ренн, Франция, 22–26 июля 2013 г., Труды (конспекты лекций по информатике); Сандрин Блейзи, Кристин Полин-Моринг, Дэвид Пичарди, Springer, 2013 г. [12]
Рекомендации
- ^ Год рождения из каталога Библиотеки Конгресса . Проверено 1 декабря 2018.
- ^ Кристин Полин-Möhring на Математическая генеалогия
- ^ «Краткая биография» . Laboratoire de Recherche en Informatique . Дата обращения 11 мая 2020 .
- ^ "Labex DigiCosme | Организация-EN" . DigiCosme - Париж-Сакле. Архивировано из оригинального 19 августа 2017 года . Проверено 10 октября 2018 года .
- ^ «Редакция» . Журнал формализованных рассуждений . Проверено 10 октября 2018 года .
- ^ «Lauréats 2015 des prix thématiques» (на французском языке). Французская академия наук . Проверено 29 мая 2019 .
- ^ «Кристин Полин-Моринг» . awards.acm.org . Дата обращения 6 октября 2020 .
- ^ «ACM чествует новаторов в области вычислительной техники, которые меняют мир» . www.acm.org . Дата обращения 6 октября 2020 .
- ^ «Кристин Полин-Моринг» . Профили участников . Academia Europaea . Проверено 8 октября 2020 .
- ^ Эдуардо Хименес, Кристин Полин-Моринг. Конспект лекций по информатике. Типы доказательств и программ . Springer. ASIN B01K93CDG6 .
- ^ Типы доказательств и программы: международный семинар, TYPES 2004, Жуи-ан-Жоза, Франция, 15–18 декабря 2004 г .: исправленные избранные статьи . Филлиатр, Жан-Кристоф., Полен-Моринг, Кристина, Вернер, Бенджамин. Берлин: Springer. 2006. ISBN 978-3-540-31429-5. OCLC 262692632 .CS1 maint: другие ( ссылка )
- ^ Интерактивное доказательство теорем: 4-я Международная конференция, ITP 2013, Ренн, Франция, 22–26 июля 2013 г. Материалы . Блейзи, Сандрин, Полин-Моринг, Кристин, Пичарди, Дэвид. Берлин: Springer. 22 июля 2013 г. ISBN 978-3-642-39634-2. OCLC 856650301 .CS1 maint: другие ( ссылка )
Внешние ссылки
- Домашняя страница в LRI
- Кристин Полин-Моринг в проекте « Математическая генеалогия»