Кристин Полен-Моринг

Кристин Полен-Моринг
Кристин Полен-Моринг
Рожденный	1962 (61–62 года)
Альма-матер	Парижский университет Дидро
Известный	Кок
Награды	Премия ACM Software System (2013)
	Научная карьера
Поля	Математика , информатика
Учреждения	Университет Париж-Сакле
Докторантура	Жерар Юэ

Кристин Полен-Моринг (1962 г.р.) ^[1] — математический логик и ученый-компьютерщик , профессор факультета наук Университета Париж-Сакле . ^[2] наиболее известен разработкой интерактивного средства доказательства теорем Coq .

Биография

Полен-Моринг получила докторскую степень в 1989 году под руководством Жерара Юэ . ^[3] Она является профессором Университета Париж-Сакле с 1997 года и деканом факультета естественных наук Париж-Сакле с 2016 года. ^[4]

С 2012 по 2015 год она была научным координатором Labex DigiCosme. ^[5] В настоящее время, ^{[ когда? ]} она — член редакционной коллегии «Журнала формализованного рассуждения» . ^[6]

Признание

Полен-Мёринг получила премию Мишеля-Монпети [ fr ] Французской академии наук в 2015 году. ^[7]

Она и остальные члены команды разработчиков Coq ( Тьерри Коканд , Жерар Юэ , Брюно Баррас, Жан-Кристоф Филлиатр, Хьюго Эрбелен, Четан Мюрти, Ив Берто и Пьер Кастеран) выиграли премию ACM Software System Award 2013. ^[8]^[9] награжден Ассоциацией вычислительной техники .

В 2014 году она была избрана членом Европейской академии . ^[10]

Дальнейшее чтение

Конспекты лекций по информатике. Типы доказательств и программ : Международный семинар TYPES'96, Оссуа, Франция, 15–19 декабря 1996 г. Избранные статьи; Эдуардо Хименес, Кристин Полен-Моринг, Спрингер ^[11]
Типы доказательств и программ: Международный семинар, TYPES 2004, Жуи-ан-Жозас, Франция, 15–18 декабря 2004 г., Пересмотренные избранные статьи: 3839 (Конспекты лекций по информатике) ; Жан-Кристоф Филлиатр, Кристин Полен-Моринг, Бенджамин Вернер, Спрингер, 2008 г. ^[12]
Интерактивное доказательство теорем: 4-я Международная конференция, ITP 2013, Ренн, Франция, 22–26 июля 2013 г., Труды (конспекты лекций по информатике); Сандрин Блази, Кристин Полен-Моринг, Дэвид Пишарди, Спрингер, 2013 г. ^[13]

Ссылки

↑ Год рождения из записи в каталоге Библиотеки Конгресса . Проверено 1 декабря 2018 г.
^ "введение" . Лаборатория компьютерных исследований . 8 июля 2016 г. Проверено 7 марта 2023 г.
^ Кристина Полен-Моринг в проекте «Математическая генеалогия»
^ «Краткая биография» . Лаборатория компьютерных исследований . Проверено 11 мая 2020 г.
^ "Labex DigiCosme | Организация-RU" . DigiCosme - Париж-Сакле. Архивировано из оригинала 19 августа 2017 года . Проверено 10 октября 2018 г.
^ «Редакция» . Журнал формализованного рассуждения . Проверено 10 октября 2018 г.
^ «Лауреаты тематических премий 2015 года» (на французском языке). Французская академия наук . Проверено 29 мая 2019 г.
^ «Кристина Полен-Мёринг» . Награды.acm.org . Архивировано из оригинала 28 ноября 2021 года . Проверено 6 октября 2020 г.
^ «ACM награждает новаторов в области компьютерных технологий, которые меняют мир» . www.acm.org . Проверено 6 октября 2020 г.
^ «Кристина Полен-Мёринг» . Профили участников . Европейская академия . Проверено 8 октября 2020 г.
^ Эдуардо Хименес, Кристин Полен-Моринг. Конспекты лекций по информатике. Типы доказательств и программ . Спрингер. АСИН B01K93CDG6 .
^ Типы доказательств и программ: международный семинар TYPES 2004, Жуи-ан-Жозас, Франция, 15–18 декабря 2004 г.: пересмотренные избранные статьи . Филлиатр, Жан-Кристоф., Полен-Моринг, Кристина, Вернер, Бенджамин. Берлин: Шпрингер. 2006. ISBN 978-3-540-31429-5 . OCLC 262692632 . {{cite book}}: CS1 maint: другие ( ссылка )
^ Блейзи, Сандрин ; Полен-Моринг, Кристина; Пичарди, Дэвид, ред. (22 июля 2013 г.). Интерактивное доказательство теорем: 4-я Международная конференция, ITP 2013, Ренн, Франция, 22–26 июля 2013 г. Труды . Берлин: Шпрингер. ISBN 978-3-642-39634-2 . OCLC 856650301 .

Внешние ссылки

[1] Год рождения из записи в каталоге Библиотеки Конгресса . Проверено 1 декабря 2018 г.

[Laboratoire_de_Recherche_en_Informatique_2016-2] "введение" . Лаборатория компьютерных исследований . 8 июля 2016 г. Проверено 7 марта 2023 г.

[3] Кристина Полен-Моринг в проекте «Математическая генеалогия»

[4] «Краткая биография» . Лаборатория компьютерных исследований . Проверено 11 мая 2020 г.

[5] "Labex DigiCosme | Организация-RU" . DigiCosme - Париж-Сакле. Архивировано из оригинала 19 августа 2017 года . Проверено 10 октября 2018 г.

[6] «Редакция» . Журнал формализованного рассуждения . Проверено 10 октября 2018 г.

[7] «Лауреаты тематических премий 2015 года» (на французском языке). Французская академия наук . Проверено 29 мая 2019 г.

[8] «Кристина Полен-Мёринг» . Награды.acm.org . Архивировано из оригинала 28 ноября 2021 года . Проверено 6 октября 2020 г.

[9] «ACM награждает новаторов в области компьютерных технологий, которые меняют мир» . www.acm.org . Проверено 6 октября 2020 г.

[10] «Кристина Полен-Мёринг» . Профили участников . Европейская академия . Проверено 8 октября 2020 г.

[11] Эдуардо Хименес, Кристин Полен-Моринг. Конспекты лекций по информатике. Типы доказательств и программ . Спрингер. АСИН B01K93CDG6 .

[12] Типы доказательств и программ: международный семинар TYPES 2004, Жуи-ан-Жозас, Франция, 15–18 декабря 2004 г.: пересмотренные избранные статьи . Филлиатр, Жан-Кристоф., Полен-Моринг, Кристина, Вернер, Бенджамин. Берлин: Шпрингер. 2006. ISBN 978-3-540-31429-5 . OCLC 262692632 . {{cite book}}: CS1 maint: другие ( ссылка )

[13] Блейзи, Сандрин ; Полен-Моринг, Кристина; Пичарди, Дэвид, ред. (22 июля 2013 г.). Интерактивное доказательство теорем: 4-я Международная конференция, ITP 2013, Ренн, Франция, 22–26 июля 2013 г. Труды . Берлин: Шпрингер. ISBN 978-3-642-39634-2 . OCLC 856650301 .

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

Базы данных авторитетного контроля
International	ISNI VIAF WorldCat
National	Norway France BnF data Germany Israel Belgium United States Czech Republic Netherlands
Academics	CiNii DBLP Google Scholar MathSciNet Mathematics Genealogy Project zbMATH
Other	IdRef