kids encyclopedia robot

Christine Paulin-Mohring facts for kids

Kids Encyclopedia Facts
Quick facts for kids
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) is a brilliant computer scientist and mathematician. She is a professor at Paris-Saclay University in France. She is most famous for helping to create a special computer program called Coq. This program helps people check if mathematical proofs are correct.

Who is Christine Paulin-Mohring?

Christine Paulin-Mohring was born in 1962. She is an expert in mathematical logic, which is a part of math that studies how we can prove things. She also works in computer science, which is about how computers work and how to make them do amazing things.

Her Journey in Science

Christine Paulin-Mohring earned her PhD degree in 1989. Her guide for this important work was Gérard Huet. Since 1997, she has been a professor at Paris-Saclay University. A professor is a teacher and researcher at a university. From 2016, she also became the dean of the Paris-Saclay Faculty of Sciences. A dean is like a principal for a specific part of the university.

Between 2012 and 2015, she was the Scientific Coordinator for something called Labex DigiCosme. This means she helped guide scientific projects there. She also helps decide what articles get published in the Journal of Formalized Reasoning.

Awards and Honors

Christine Paulin-Mohring has received several important awards for her work. In 2015, she won the Michel-Monpetit Prize from the French Academy of Sciences. This prize is given to people who have done great things in science.

She also won a very special award in 2013. This was the ACM Software System Award from the Association for Computing Machinery. She won it along with the team who helped create the Coq program. The team included Thierry Coquand, Gérard Huet, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, Chetan Murthy, Yves Bertot, and Pierre Castéran. This award celebrates software that has had a big impact.

In 2014, she was chosen to be a member of the Academia Europaea. This is a group of top scientists and scholars from all over Europe. Being elected to this group is a big honor.

kids search engine
Christine Paulin-Mohring Facts for Kids. Kiddle Encyclopedia.