Christine Paulin-Mohring

Christine Paulin-Mohring
Nascimento 31 de maio de 1962 (62 anos)
Cidadania França
Alma mater
Ocupação cientista de computação, matemática
Distinções
  • Prêmio Michel-Monpetit (2015)
  • ACM Software System Award (2013)
Empregador(a) ComUE Universidade Paris-Saclay

Christine Paulin-Mohring (1962)[1] é uma matemática e cientista da computação francesa, professora da Universidade Paris-Saclay, conhecida pelo desenvolvimento do teorema interativo de prova Coq.

Biografia

Paulin-Mohring obteve um PhD em 1989, orientada por Gérard Huet.[2] Foi desde 1997 professora da Universidade Paris-Saclay.[3]

Reconhecimento

Paulin-Mohring recebeu o Prix Michel-Monpetit da Académie des Sciences em 2015.[4]

Ela e os outros membros da equipe de desenvolvimento do Coq (Thierry Coquand, Gérard Huet, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, Chetan Murthy, Yves Bertot e Pierre Castéran) receberam o ACM Software System Award de 2013.[5][6]

Foi eleita para a Academia Europaea em 2014.[7]

Leitura adicional

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

Referências

  1. ↑ Ano de nascimento em Library of Congress catalog entry. Acessado em 13 de fevereiro de 2021.
  2. ↑ Christine Paulin-Mohring (em inglês) no Mathematics Genealogy Project
  3. ↑ «Short biography». Laboratoire de Recherche en Informatique. Consultado em 13 de fevereiro de 2021 
  4. ↑ «Lauréats 2015 des prix thématiques» (em francês). French Academy of Sciences. Consultado em 13 de fevereiro de 2021 
  5. ↑ «Christine Paulin-Mohring». awards.acm.org (em inglês). Consultado em 13 de fevereiro de 2021 
  6. ↑ «ACM Honors Computing Innovators Who Are Changing the World». www.acm.org (em inglês). Consultado em 13 de fevereiro de 2021 
  7. ↑ «Christine Paulin-Mohring». Member profiles. Academia Europaea. Consultado em 13 de fevereiro de 2021 
  8. ↑ Eduardo Gimenez, Christine Paulin-Mohring. Lecture Notes in Computer Science. Types for Proofs and Programs. [S.l.]: Springer. ASIN B01K93CDG6 
  9. ↑ Types for proofs and programs: international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004: revised selected papers. Filliâtre, Jean-Christophe., Paulin-Mohring, Christine, Werner, Benjamin. Berlin: Springer. 2006. ISBN 978-3-540-31429-5. OCLC 262692632 
  10. ↑ Interactive theorem proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings. Blazy, Sandrine, Paulin-Mohring, Christine, Pichardie, David. Berlin: Springer. ISBN 978-3-642-39634-2. OCLC 856650301 

Ligações externas