Christine Paulin-Mohring

Christine Paulin-Mohring
Born1962 (age 63–64)
Alma materParis Diderot University
Known forRocq
AwardsACM Software System Award (2013)
Scientific career
FieldsMathematics, computer science
InstitutionsParis-Saclay University
Doctoral advisorGérard Huet

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.

This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.