Christine Paulin-Mohring
| Christine Paulin-Mohring | |
|---|---|
| Nascimento | 31 de maio de 1962 (61 anos) |
| Cidadania | França |
| Alma mater | |
| Ocupação | cientista de computação, matemática |
| Prêmios |
|
| 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[editar | editar código-fonte]
Paulin-Mohring obteve um PhD em 1989, orientada por Gérard Huet.[2] Foi desde 1997 professora da Universidade Paris-Saclay.[3]
Reconhecimento[editar | editar código-fonte]
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[editar | editar código-fonte]
- 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
- ↑ Ano de nascimento em Library of Congress catalog entry. Acessado em 13 de fevereiro de 2021.
- ↑ Christine Paulin-Mohring (em inglês) no Mathematics Genealogy Project
- ↑ «Short biography». Laboratoire de Recherche en Informatique. Consultado em 13 de fevereiro de 2021
- ↑ «Lauréats 2015 des prix thématiques» (em francês). French Academy of Sciences. Consultado em 13 de fevereiro de 2021
- ↑ «Christine Paulin-Mohring». awards.acm.org (em inglês). Consultado em 13 de fevereiro de 2021
- ↑ «ACM Honors Computing Innovators Who Are Changing the World». www.acm.org (em inglês). Consultado em 13 de fevereiro de 2021
- ↑ «Christine Paulin-Mohring». Member profiles. Academia Europaea. Consultado em 13 de fevereiro de 2021
- ↑ Eduardo Gimenez, Christine Paulin-Mohring. Lecture Notes in Computer Science. Types for Proofs and Programs. [S.l.]: Springer. ASIN B01K93CDG6
- ↑ 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
- ↑ 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[editar | editar código-fonte]
- Página pessoal at LRI
- Christine Paulin-Mohring (em inglês) no Mathematics Genealogy Project
