Biography.guide
Home › People › Computer scientist › Christine Paulin-Mohring
Portrait of Christine Paulin-Mohring

Christine Paulin-Mohring

b. 1962

Mathematical logician and computer scientist

Computer scientist Mathematician
Don't just read it — keep itBiographies to ownE-book · Audio · Video From $7 →

About Christine Paulin-Mohring

Born 1962. Christine Paulin-Mohring is a French computer scientist and mathematician, known for Coq.

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.

Biography Paulin-Mohring received her PhD in 1989, under the supervision of Gérard Huet. She has been a professor at Paris-Saclay University since 1997, and she was the dean of the Paris-Saclay Faculty of Sciences from 2016 until 2021.

Between 2012 and 2015, she was the Scientific Coordinator of the Labex DigiCosme. She is a member of the editorial board of the Journal of Formalized Reasoning.

Recognition Paulin-Mohring won the of the French Academy of Sciences in 2015.

She and the rest of the development team of the system Rocq (formerly known as Coq)(Thierry Coquand, Gérard Huet, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, Chetan Murthy, Yves Bertot and Pierre Castéran) won the 2013 ACM Software System Award awarded by the Association for Computing Machinery.

She was elected to the Academia Europaea in 2014.

Biography shop

Don’t just read it —
keep it.

Full-length biographies made to live with: read them, listen on the way to work, watch them tonight.

  • E-book
  • Audio
  • Video
Browse the shop — from $7

Instant download · yours to keep · every purchase keeps this site free

Important facts

Born
31 May 1962
Birth century
20th century
Occupation
Computer scientist, mathematician
Nationality
France
Known for
Coq
Education
Paris Diderot University
Employers
ComUE Paris-Saclay University
Awards
Michel Monpetit Prize; ACM Software System Award

People in Christine Paulin-Mohring's life

Named in this biography and alive at the same time

Portrait of Gérard Huet
Gérard Huet
b. 1947
Computer scientist
 Portrait of Thierry Coquand
Thierry Coquand
b. 1961
Mathematician

Contemporaries

People whose lives overlapped Christine Paulin-Mohring's

Portrait of Barry Ramachandra Rao
Barry Ramachandra Rao
1922 – 2005
Physicist
 Portrait of Erving Goffman
Erving Goffman
1922 – 1982
Sociologist
 Portrait of Hans Georg Dehmelt
Hans Georg Dehmelt
1922 – 2017
Physicist
 Portrait of Olga Ladyzhenskaya
Olga Ladyzhenskaya
1922 – 2004
Mathematician
 Portrait of Daniel Gorenstein
Daniel Gorenstein
1923 – 1992
Mathematician
 Portrait of Elizabeth Hawley
Elizabeth Hawley
1923 – 2018
Journalist

Frequently asked questions

Who is Christine Paulin-Mohring?

Mathematical logician and computer scientist

When was Christine Paulin-Mohring born?

Christine Paulin-Mohring was born on 31 May 1962.

What is Christine Paulin-Mohring's occupation?

Christine Paulin-Mohring is a computer scientist and mathematician.

What is Christine Paulin-Mohring known for?

Christine Paulin-Mohring is known for Coq.

What nationality is Christine Paulin-Mohring?

Christine Paulin-Mohring is French.

Sources & further reading

· Wikipedia: Christine Paulin-Mohring

· Wikidata: Q33138766

· DBpedia: Christine Paulin-Mohring

Cite this page

APA: Biography.guide. (2026). Christine Paulin-Mohring. https://biography.guide/christine-paulin-mohring/

MLA: "Christine Paulin-Mohring." Biography.guide, https://biography.guide/christine-paulin-mohring/.

Chicago: "Christine Paulin-Mohring." Biography.guide. https://biography.guide/christine-paulin-mohring/.

Data last updated: 2026-09-22 · Spot an error? Report a correction.

Portrait: Wikimedia Commons · author & licence

Page generated 2026-09-27 05:04 UTC