EXPLORE OUR WEBSITES
expand_more
menu
search
vertical_align_top

Christine Paulin-Mohring

(1962-)
Mathematical logician and computer scientist
more_vert
favorite

About

edit

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.

Key details

edit section
Born
1962 (age 63)
Zodiac
Tags Add tag

Partner

edit

Family members

add
Name of family member · link to profile · text only name
format yyyy-yyyy
e.g. occupation
Relationship to Christine Paulin-Mohring
e.g. if adding the mother for this family member, type Mother
Info source

Romantic interests

add
Partner's name
Relationship type
Relationship status
Relationship start date
+add end date
   to      close
You can enter many date formats here (e.g. 2009, Jan 2009, October 2011, 1 Feb 2009, 4/4/2012, etc)
Description
Relationship sources (on the internet)
+add row
close
Rumor only

Friends & associates

add
Name of friend or associate · link to profile · text only name
format yyyy-yyyy
e.g. occupation
Relationship to Christine Paulin-Mohring
options include Friend, Best Friend, Associate, Teammate, Former Teammate, Adversary
Info source

Scholars

expand_more
0
Please be the first to contribute to this page!

Missing information for Christine Paulin-Mohring

edit

Similar profiles

expand_more
10
edit
add
helper: web search
Show more expand_more

Activity

expand_more
0

Top contributors today

Be the first to contribute today

Tags

Featured contributors

Couples by country

USA · UK · Canada · Australia · France · Germany · India · China · South Korea · Japan · Spain · Mexico

Couples by decade

1900s · 1910s · 1920s · 1930s · 1940s · 1950s · 1960s · 1970s · 1980s · 1990s · 2000s · 2010s · 2020s
ADVERTISEMENT
ADVERTISEMENT
Community menu
  • Edit
  • Websites
Couplepedia · about
terms of use · copyright · privacy
loaded in 0.09 secs
chevron_left
chevron_left
chevron_right
place
chevron_right
arrow_drop_down
photo_library