Christine Paulin-Mohring

Christine Paulin-Mohring is a French mathematical logician and computer scientist who is a professor at Paris-Saclay University's Faculty of Sciences, where she served as dean from 2016 to 2021. She earned her PhD in 1989 under Gerard Huet's supervision and has held her Paris-Saclay professorship since 1997. She is best known for developing Rocq, formerly called Coq, an interactive theorem prover, and she and the development team, including Thierry Coquand and Gerard Huet among others, received the 2013 ACM Software System Award for this work. She won the Michel Monpetit Prize from the French Academy of Sciences in 2015, was elected to Academia Europaea in 2014, and served as scientific coordinator of Labex DigiCosme from 2012 to 2015.