Christine Paulin-Mohring French Mathematician
Christine Paulin-Mohring dating history
Who
is she
dating right now?
According to our records, Christine Paulin-Mohring is possibly single.
Relationships
We have no records of past relationships for Christine Paulin-Mohring.
About
Christine Paulin-Mohring is a member of the following lists: 1962 births, 21st-century mathematicians and 20th-century mathematicians.
Contribute
Who is Christine Paulin-Mohring dating? Christine Paulin-Mohring boyfriend, husband list. Help us build our profile of Christine Paulin-Mohring!
Login
to add information, pictures and relationships, join in discussions and get credit for your contributions.
Details
| Birthday |
30th November, 1961
|
| Nationality |
French
|
| Occupation |
Mathematician
|
Christine Paulin-Mohring (born 1962) 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.
More about Christine Paulin-Mohring
Less about Christine Paulin-Mohring
