Christine Paulin-Mohring facts for kids

Christine Paulin-Mohring was born in 1962. She is a brilliant computer scientist and mathematician from France. She is a professor at Paris-Saclay University. She is most famous for helping to create a special computer program called Rocq.

About Christine Paulin-Mohring

Christine Paulin-Mohring earned her PhD in 1989. A PhD is a very high university degree that shows someone is an expert in their field. Her teacher for this degree was Gérard Huet.

Since 1997, she has been a professor at Paris-Saclay University. From 2016 to 2021, she was also the dean of the science department there. Being a dean means she was in charge of the faculty and students in the science area.

Between 2012 and 2015, she helped lead a big research project called Labex DigiCosme. She also helps decide what articles get published in the Journal of Formalized Reasoning. This journal shares new ideas in computer science.

Her Amazing Work with Rocq

Christine Paulin-Mohring is best known for her work on Rocq. This is a special computer program. It helps computer scientists check if their programs and mathematical proofs are correct. It's like a super-smart helper that makes sure everything is perfect.

Rocq was first known as Coq. It is used by researchers and companies all over the world. It helps them build very reliable computer systems.

Awards and Recognition

Christine Paulin-Mohring has received several important awards for her work.

Michel-Monpetit Prize

In 2015, she won the Michel-Monpetit Prize from the French Academy of Sciences. This award recognizes important scientific achievements in France.

ACM Software System Award

In 2013, Christine Paulin-Mohring and her team won a very important award. It was the ACM Software System Award from the Association for Computing Machinery. This award is given to teams who create software systems that have a lasting impact. The team included Thierry Coquand, Gérard Huet, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, Chetan Murthy, Yves Bertot, and Pierre Castéran. They all worked together to develop the Rocq system.

Academia Europaea

In 2014, Christine Paulin-Mohring was chosen to be a member of the Academia Europaea. This is a group of top scientists and scholars from across Europe. Being elected to this group is a great honor. It shows that her work is highly respected by other experts.