Christine Paulin-Mohring ()Ano de nascimento em Library of Congress catalog entry. Acessado em 13 de fevereiro de 2021. é 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. Foi desde 1997 professora da Universidade Paris-Saclay.
Reconhecimento Paulin-Mohring recebeu o Prix Michel-Monpetit da Académie des Sciences em 2015.
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.
Foi eleita para a Academia Europaea em 2014.
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 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 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
Ligações externas Página pessoal at LRI
Categoria:Membros da Academia Europaea Categoria:Especialistas em lógica matemática Categoria:Cientistas da computação da França Categoria:Mulheres cientistas da computação da França Categoria:Matemáticas do século XX Categoria:Matemáticas do século XXI Categoria:Matemáticos da França do século XX Categoria:Matemáticos da França do século XXI Categoria:Pessoas vivas