Christine Paulin-Mohring is a French mathematician and computer scientist born on May 31, 1962. She is known for her contributions to the development of Coq, a software tool used for machine-assisted proof development. Her work is significant in the fields of mathematics and computer science, especially in formal verification and theorem proving, where Coq has become an important resource for researchers and practitioners alike.
Zodiac Sign (Western)
Sunsign, Tropical Zodiac
Zodiac Sign (Vedic)
Moonsign, Sidereal Zodiac
Age (Today)
Your next birthday is 158 days away.
Place of Birth
Time Zone -
Chinese Zodiac Sign
Birth Number
Life Path Number
Name Number (Chaldean)
Name Number (Pythagorean)
Meaning of the name - Christine
follower of Christ
Read Full Christine Name AnalysisMay 31, 1962 Facts
Generation Group
Christine Paulin-Mohring belongs to the Baby Boomers group.
Educated At: Paris Diderot University
Occupation: mathematician | computer scientist
Employers: ComUE Paris-Saclay University
Awards Received: Michel Monpetit Prize | ACM Software System Award
Astrology Analysis
Ephemeris for May 31, 1962
Note: Moon position is location and time sensitive.Planet | Position (Tropical, Western) | Transits on May 31, 2024 | Secondary Progressions for May 31, 2024 |
---|---|---|---|
Sun | 9 Gemini 45 | 10 Gemini 43 | 8 Leo 57 |
Moon | 15 Taurus 21 | 23 Pisces 46 | 22 Leo 20 |
Mercury | 19 Gemini 23 | 25 Taurus 0 | 12 Leo 23 |
Venus | 10 Cancer 20 | 9 Gemini 40 | 22 Virgo 19 |
Mars | 2 Taurus 2 | 23 Aries 40 | 16 Gemini 17 |
Jupiter | 10 Pisces 57 | 1 Gemini 20 | 11 Pisces 1 |
Saturn | 11 Aquarius 36 | 18 Pisces 39 | 8 Aquarius 18 |
Uranus | 26 Leo 46 | 24 Taurus 11 | 29 Leo 33 |
Neptune | 11 Scorpio 22 | 29 Pisces 39 | 10 Scorpio 43 |
Pluto | 7 Virgo 33 | 1 Aquarius 54 | 8 Virgo 47 |
Rahu | 12 Leo 2 | 12 Aries 50 | 8 Leo 45 |
Ketu | 12 Aquarius 2 | 12 Libra 50 | 8 Aquarius 45 |
Chandra Kundali (Equal House, North Indian Diamond Chart)
Astrology Transits Analysis for Year 2024
Note: Multiple transits occurring in close proximity often signify a major event in a person's life.Christine Paulin-Mohring's 2024 Transits to Natal Planets
- Saturn sextile Mars
Exact: 01 January, 2024 - Mars aspects Rahu
Exact: 21 January, 2024 - Saturn conjunction Jupiter
Exact: 11 March, 2024 - Jupiter conjunction Moon
Exact: 21 March, 2024 - Saturn sextile Moon
Exact: 20 April, 2024 - Mars conjunction Moon
Exact: 29 June, 2024 - Jupiter conjunction Sun
Exact: 09 July, 2024 - Jupiter trine Saturn
Exact: 19 July, 2024 - Jupiter trine Ketu
Exact: 19 July, 2024 - Mars conjunction Mercury
Exact: 18 August, 2024 - Saturn sextile Moon
Exact: 07 September, 2024 - Jupiter conjunction Mercury
Exact: 07 September, 2024 - Mars aspects Ketu
Exact: 27 September, 2024 - Jupiter conjunction Mercury
Exact: 06 November, 2024