Movatterモバイル変換

[0]ホーム
URL:

Jump to content
WikipediaThe Free Encyclopedia
Search

Christine Paulin-Mohring

From Wikipedia, the free encyclopedia
Mathematical logician and computer scientist
Christine Paulin-Mohring
Born1962 (age 62–63)
Alma materParis Diderot University
Known forCoq
AwardsACM Software System Award (2013)
Scientific career
FieldsMathematics,computer science
InstitutionsParis-Saclay University
Doctoral advisorGérard Huet

Christine Paulin-Mohring (born 1962)[1] is amathematical logician andcomputer scientist, and Professor Faculté des Sciences atParis-Saclay University,[2] best known for developing the interactive theorem proverCoq.

Biography

[edit]

Paulin-Mohring received her PhD in 1989 under the supervision ofGérard Huet.[3] She has been a professor atParis-Saclay University since 1997 and the dean of theParis-Saclay Faculty of Sciences since 2016.[4]

Between 2012 and 2015, she was the Scientific Coordinator of the Labex DigiCosme.[5] Currently,[when?] she is a member of the editorial board of theJournal of Formalized Reasoning.[6]

Recognition

[edit]

Paulin-Mohring won theMichel-Monpetit Prize [fr] of theFrench Academy of Sciences in 2015.[7]

She and the rest of the Coq development team (Thierry Coquand,Gérard Huet, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, Chetan Murthy, Yves Bertot and Pierre Castéran) won the 2013ACM Software System Award[8][9] awarded by theAssociation for Computing Machinery.

She was elected to theAcademia Europaea in 2014.[10]

Further reading

[edit]
  • Lecture Notes in Computer Science. Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, 15–19 December 1996 Selected Papers; Eduardo Gimenez, Christine Paulin-Mohring, Springer[11]
  • Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, 15–18 December 2004, Revised Selected Papers: 3839 (Lecture Notes in Computer Science); Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner, Springer, 2008[12]
  • Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, 22–26 July 2013, Proceedings (Lecture Notes in Computer Science); Sandrine Blazy, Christine Paulin-Mohring, David Pichardie, Springer, 2013[13]

References

[edit]
  1. ^Birth year fromLibrary of Congress catalog entry. Retrieved 1 December 2018.
  2. ^"introduction".Laboratoire de Recherche en Informatique. 8 July 2016. Retrieved7 March 2023.
  3. ^Christine Paulin-Mohring at theMathematics Genealogy Project
  4. ^"Short biography". Laboratoire de Recherche en Informatique. Retrieved11 May 2020.
  5. ^"Labex DigiCosme | Organisation-EN". DigiCosme - Paris-Saclay. Archived fromthe original on 19 August 2017. Retrieved10 October 2018.
  6. ^"Editorial Team".Journal of Formalized Reasoning. Retrieved10 October 2018.
  7. ^"Lauréats 2015 des prix thématiques" (in French). French Academy of Sciences. Retrieved29 May 2019.
  8. ^"Christine Paulin-Mohring".awards.acm.org. Archived fromthe original on 28 November 2021. Retrieved6 October 2020.
  9. ^"ACM Honors Computing Innovators Who Are Changing the World".www.acm.org. Retrieved6 October 2020.
  10. ^"Christine Paulin-Mohring".Member profiles. Academia Europaea. Retrieved8 October 2020.
  11. ^Eduardo Gimenez, Christine Paulin-Mohring.Lecture Notes in Computer Science. Types for Proofs and Programs. Springer.ASIN B01K93CDG6.
  12. ^Types for proofs and programs: international workshop, TYPES 2004, Jouy-en-Josas, France, 15–18 December 2004: revised selected papers. Filliâtre, Jean-Christophe., Paulin-Mohring, Christine, Werner, Benjamin. Berlin: Springer. 2006.ISBN 978-3-540-31429-5.OCLC 262692632.{{cite book}}: CS1 maint: others (link)
  13. ^Blazy, Sandrine; Paulin-Mohring, Christine; Pichardie, David, eds. (22 July 2013).Interactive theorem proving: 4th International Conference, ITP 2013, Rennes, France, 22–26 July 2013. Proceedings. Berlin: Springer.ISBN 978-3-642-39634-2.OCLC 856650301.

External links

[edit]
ML programming
Software
Implementations,
dialects
Caml
Standard ML
Dependent ML
Programming tools
Theorem provers,
proof assistants
Community
Designers
  • Lennart Augustsson (Lazy ML)
  • Damien Doligez (OCaml)
  • Gérard Huet (Caml)
  • Xavier Leroy (Caml, OCaml)
  • Robin Milner (ML)
  • Don Sannella (Extended ML)
  • Don Syme (F#)
    • International
    National
    Academics
    Other
    Retrieved from "https://en.wikipedia.org/w/index.php?title=Christine_Paulin-Mohring&oldid=1238875918"
    Categories:
    Hidden categories:
    [8]ページ先頭
    ©2009-2025 Movatter.jp