Кристина Паулин-Моринг
Кристина Паулин-Моринг | |
|---|---|
| Рожденный | 1962 (61–62 года) |
| Альма-матер | Парижский университет Дидро |
| Известный | Кок |
| Награды | Премия ACM Software System Award (2013) |
| Научная карьера | |
| Поля | Математика , информатика |
| Учреждения | Университет Париж-Сакле |
| научный руководитель | Жерар Юэ |
Кристина Полин-Мёринг (родилась в 1962 году) [1] — специалист по математической логике и информатике , профессор факультета наук в Университете Париж-Сакле [2] , наиболее известная разработкой интерактивной программы доказательства теорем Coq .
Биография
Полин-Моринг получила докторскую степень в 1989 году под руководством Жерара Юэ . [3] Она является профессором Университета Париж-Сакле с 1997 года и деканом факультета наук Париж-Сакле с 2016 года. [4]
С 2012 по 2015 год она была научным координатором Labex DigiCosme. [5] В настоящее время [ когда? ] она является членом редакционной коллегии журнала Journal of Formalized Reasoning . [6]
Признание
В 2015 году Полин-Мёринг получила премию Мишеля Монпети Французской академии наук. [7]
Она и остальные члены команды разработчиков Coq ( Тьерри Коканд , Жерар Юэ , Бруно Баррас, Жан-Кристоф Филлиатр, Хьюго Эрбелен, Шетан Мурти, Ив Берто и Пьер Кастеран) выиграли премию ACM Software System Award 2013 [8] [9], присуждаемую Ассоциацией вычислительной техники .
В 2014 году она была избрана в Academia Europaea. [10]
Дальнейшее чтение
- Конспект лекций по информатике. Типы доказательств и программ : Международный семинар TYPES'96, Оссуа, Франция, 15–19 декабря 1996 г. Избранные статьи; Эдуардо Хименес, Кристин Полин-Моринг, Springer [11]
- Типы для доказательств и программ: Международный семинар, TYPES 2004, Жуи-ан-Жоза, Франция, 15–18 декабря 2004 г., Пересмотренные избранные статьи: 3839 (Конспекты лекций по информатике) ; Жан-Кристоф Филлиатр, Кристин Полен-Моринг, Бенджамин Вернер, Springer, 2008 [12]
- Интерактивное доказательство теорем: 4-я международная конференция, ITP 2013, Ренн, Франция, 22–26 июля 2013 г., Труды (конспекты лекций по информатике); Сандрин Блази, Кристин Полин-Моринг, Дэвид Пичарди, Springer, 2013 [13]
Ссылки
- ^ Год рождения из записи каталога Библиотеки Конгресса. Получено 1 декабря 2018 г.
- ^ «Введение». Лаборатория исследований в области информатики . 8 июля 2016 года . Проверено 7 марта 2023 г.
- ^ Кристина Паулин-Моринг в проекте «Генеалогия математики»
- ^ "Краткая биография". Лаборатория исследований в области информатики . Проверено 11 мая 2020 г.
- ^ "Labex DigiCosme | Organisation-EN". DigiCosme - Paris-Saclay. Архивировано из оригинала 19 августа 2017 года . Получено 10 октября 2018 года .
- ^ "Editorial Team". Журнал формализованного рассуждения . Получено 10 октября 2018 г.
- ^ "Lauréats 2015 des prix thématiques" (на французском). Французская академия наук . Получено 29 мая 2019 г.
- ^ "Кристина Полин-Мёринг". awards.acm.org . Архивировано из оригинала 28 ноября 2021 г. . Получено 6 октября 2020 г. .
- ^ «ACM чествует новаторов в области вычислительной техники, которые меняют мир». www.acm.org . Получено 6 октября 2020 г. .
- ^ "Кристина Паулин-Мёринг". Профили участников . Academia Europaea . Получено 8 октября 2020 г.
- ^ Эдуардо Хименес, Кристина Паулин-Мёринг. Конспект лекций по информатике. Типы доказательств и программ . Springer. ASIN B01K93CDG6.
- ^ Типы доказательств и программ: международный семинар TYPES 2004, Жуи-ан-Жозас, Франция, 15–18 декабря 2004 г.: пересмотренные избранные статьи. Филлиатр, Жан-Кристоф., Полен-Моринг, Кристина, Вернер, Бенджамин. Берлин: Шпрингер. 2006. ISBN 978-3-540-31429-5. OCLC 262692632.
{{cite book}}: CS1 maint: другие ( ссылка ) - ^ Blazy, Sandrine ; Paulin-Mohring, Christine; Pichardie, David, ред. (22 июля 2013 г.). Интерактивное доказательство теорем: 4-я международная конференция, ITP 2013, Ренн, Франция, 22–26 июля 2013 г. Труды. Берлин: Springer. ISBN 978-3-642-39634-2. OCLC 856650301.
Внешние ссылки
- Официальный сайт , LRI
- Кристина Паулин-Моринг в проекте «Генеалогия математики»
