Universitaire
Christine Paulin-Mohring
Mathematical logician and computer scientist
- Vie
- 1962 – présent
- Né(e) le
- 31 mai 1962
- Nationalité
- France
Christine Paulin-Mohring is a mathematical logician and computer scientist, and Professor at the Faculté des Sciences of Paris-Saclay University, best known for developing the interactive theorem prover Rocq.
