Christine Paulin-Mohring

Christine Paulin-Mohring 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.

§Related entries

Academic

Claire Mathieu

French computer scientist

1965 – present · France

Academic

Daniel Glazman

French programmer

1967 – present · France

Academic

Feng Chu

Chinese-French operations researcher

1965 – present · China

Academic

François Pachet

French scientist, composer and director (born 1964)

1964 – present · France

Academic

Frédéric Lepied

French computer engineer (born 1967)

1967 – present · France

Academic

Gilles Dowek

French computer scientist (1966–2025)

1966 – 2025 · France