Christine Paulin-Mohring - Christine Paulin-Mohring

Christine Paulin-Mohring
narozený1962 (1962)
Alma materParis Diderot University
Známý jakoCoq
OceněníCena softwarového systému ACM (2013)
Vědecká kariéra
PoleMatematika, počítačová věda
InstituceParis-Saclay University
Doktorský poradceGérard Huet

Christine Paulin-Mohring (narozen 1962)[1] je matematický logik a počítačový vědec a profesor[dvojznačný ] na Paris-Saclay University, nejlépe známý pro vývoj proverátoru interaktivních vět Coq.

Životopis

Paulin-Mohring získala doktorát v roce 1989 pod dohledem Gérard Huet.[2] Byla profesorem na Paris-Saclay University od roku 1997 a děkan Přírodovědecká fakulta Paris-Saclay od roku 2016.[3]

V letech 2012 až 2015 byla vědeckou koordinátorkou Labex DigiCosme.[4] V současné době,[když? ] je členkou redakční rady Žurnál formalizovaného uvažování.[5]

Uznání

Paulin-Mohring vyhrál Cena Michel-Monpetit [fr ] z Francouzská akademie věd v roce 2015.[6]

Ona a zbytek vývojového týmu Coq (Thierry Coquand, Gérard Huet, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, Chetan Murthy, Yves Bertot a Pierre Castéran) zvítězili v roce 2013 Cena softwarového systému ACM[7][8] uděluje Sdružení pro výpočetní techniku.

Byla zvolena do Academia Europaea v roce 2014.[9]

Další čtení

  • Přednášky z informatiky. Typy důkazů a programů: International Workshop TYPES'96, Aussois, France, 15. - 19. prosince 1996 Vybrané příspěvky; Eduardo Gimenez, Christine Paulin-Mohring, Springer[10]
  • Typy důkazů a programů: Mezinárodní workshop, TYPY 2004, Jouy-en-Josas, Francie, 15. – 18. Prosince 2004, revidované vybrané příspěvky: 3839 (poznámky k přednášce z informatiky); Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner, Springer, 2008[11]
  • Prokazování interaktivních teorémů: 4. mezinárodní konference, ITP 2013, Rennes, Francie, 22. – 26. Července 2013, Sborník (Přednášky z informatiky); Sandrine Blazy, Christine Paulin-Mohring, David Pichardie, Springer, 2013[12]

Reference

  1. ^ Rok narození od Vstup do katalogu Kongresové knihovny. Citováno 1. prosince 2018.
  2. ^ Christine Paulin-Mohring na Matematický genealogický projekt
  3. ^ "Krátká biografie". Laboratoire de Recherche en Informatique. Citováno 11. května 2020.
  4. ^ "Labex DigiCosme | Organizace-CS". DigiCosme - Paris-Saclay. Archivovány od originál dne 19. srpna 2017. Citováno 10. října 2018.
  5. ^ „Redakční tým“. Žurnál formalizovaného uvažování. Citováno 10. října 2018.
  6. ^ „Lauréats 2015 des prix thématiques“ (francouzsky). Francouzská akademie věd. Citováno 29. května 2019.
  7. ^ „Christine Paulin-Mohring“. awards.acm.org. Citováno 2020-10-06.
  8. ^ „ACM ctí počítačové inovátory, kteří mění svět“. www.acm.org. Citováno 2020-10-06.
  9. ^ „Christine Paulin-Mohring“. Profily členů. Academia Europaea. Citováno 2020-10-08.
  10. ^ Eduardo Gimenez, Christine Paulin-Mohring. Přednášky z informatiky. Typy důkazů a programů. Springer. JAKO V  B01K93CDG6.
  11. ^ Typy důkazů a programů: mezinárodní workshop, TYPY 2004, Jouy-en-Josas, Francie, 15. – 18. Prosince 2004: revidované vybrané příspěvky. Filliâtre, Jean-Christophe., Paulin-Mohring, Christine, Werner, Benjamin. Berlín: Springer. 2006. ISBN  978-3-540-31429-5. OCLC  262692632.CS1 maint: ostatní (odkaz)
  12. ^ Interaktivní dokazování věty: 4. mezinárodní konference, ITP 2013, Rennes, Francie, 22. – 26. Července 2013. Sborník. Blazy, Sandrine, Paulin-Mohring, Christine, Pichardie, David ,. Berlín: Springer. ISBN  978-3-642-39634-2. OCLC  856650301.CS1 maint: extra interpunkce (odkaz) CS1 maint: ostatní (odkaz)

externí odkazy