Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.
Christine Paulin-Mohring
Christine Paulin-Mohring | |
|---|---|
| Born | 1962 (age 62–63) |
| Alma mater | Paris Diderot University |
| Known for | Coq |
| Awards | ACM Software System Award (2013) |
| Scientific career | |
| Fields | Mathematics, computer science |
| Institutions | Paris-Saclay University |
| Doctoral advisor | Gérard Huet |
Christine Paulin-Mohring (born 1962)[1] is a mathematical logician and computer scientist, and Professor Faculté des Sciences at Paris-Saclay University,[2] best known for developing the interactive theorem prover Coq.
- ^ Birth year from Library of Congress catalog entry. Retrieved 1 December 2018.
- ^ "introduction". Laboratoire de Recherche en Informatique. 8 July 2016. Retrieved 7 March 2023.
Previous Page Next Page
