O desenvolvimento do provador interativo de teoremas Rocq destaca-se como a principal contribuição técnica de Christine Paulin-Mohring. Cientista da computação e lógica matemática francesa nascida em 1962, a sua investigação centra-se na formalização do raciocínio matemático através de sistemas computacionais. A sua trajetória académica abrange décadas de liderança institucional e contribuições para a verificação rigorosa de software e provas dentro da comunidade científica global.
Fundamentos académicos e carreira
Paulin-Mohring completou os seus estudos de doutoramento em 1989 sob a supervisão de Gérard Huet. A sua carreira está enraizada no ensino superior francês, especificamente na Universidade Paris Diderot, onde completou a sua formação. Desde 1997, ocupa uma cátedra na Universidade Paris-Saclay. Os seus cargos administrativos incluem ter servido como reitora da Faculdade de Ciências da Universidade Paris-Saclay de 2016 a 2021, e atuou como Coordenadora Científica do Labex DigiCosme entre 2012 e 2015.
Contribuições para a prova de teoremas
O sistema Rocq, anteriormente identificado como Coq, representa um avanço significativo na prova interativa de teoremas. Paulin-Mohring colaborou com uma equipa de desenvolvimento que incluía Thierry Coquand, Gérard Huet, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, Chetan Murthy, Yves Bertot e Pierre Castéran. Este esforço coletivo forneceu ferramentas para formalizar a lógica e verificar provas matemáticas, levando à sua participação ativa no conselho editorial do Journal of Formalized Reasoning.
Reconhecimento profissional
A Association for Computing Machinery reconheceu a equipa de desenvolvimento do Rocq com o prémio ACM Software System em 2013. Dois anos depois, a Academia de Ciências de França premiou Paulin-Mohring com o Prémio Michel Monpetit. Foi eleita membro da Academia Europaea em 2014, refletindo a sua posição dentro da comunidade científica europeia.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Factos rápidos
- Nascimento: 1962 - Nacionalidade: França - Educação: Universidade Paris Diderot - Empregador atual: ComUE Universidade Paris-Saclay - Projeto principal: Provador de teoremas Rocq - Prémio ACM Software System: 2013 - Prémio Michel Monpetit: 2015 - Membro da Academia Europaea desde: 2014
Perguntas frequentes
### Qual é o principal foco académico de Christine Paulin-Mohring?
É uma lógica matemática e cientista da computação especializada em prova interativa de teoremas.
### Com que sistema de software importante está associada?
É conhecida pelo seu trabalho no provador interativo de teoremas conhecido como Rocq, anteriormente chamado Coq.
.jpg)