In the history of mathematics, Christine Paulin-Mohring is one of the names that keeps returning.
The record lists Christine Paulin-Mohring as Mathematical logician and computer scientist.
Christine Paulin-Mohring was born in 1962. Her recorded nationality is France. She studied at Paris Diderot University.
Modern mathematics is collaborative and increasingly computational; proofs can now run to thousands of pages or depend on machine verification.
Her academic posts were held at ComUE Paris-Saclay University.
Mathematical work is judged by whether anyone can build on it, and that judgement takes decades.
Recognition followed: Michel Monpetit Prize (2015).
That the work was done from France matters: mathematical training, institutions and the language of publication have never been evenly distributed.
Christine Paulin-Mohring is still working, and the final assessment of the contribution has not been made.
Achievements
- Michel Monpetit Prize — 2015
- Held posts at ComUE Paris-Saclay University
.jpg)
