Dexter Kozen is an American theoretical computer scientist born on December 20, 1951. He earned a summa cum laude bachelor's degree in Mathematics from Dartmouth College in 1974 and received his Ph.D. in Computer Science from Cornell University in 1977. Kozen has made significant contributions to complexity theory, modal logic, dynamic logic, and the semantics of programming languages. He has held various academic positions, including professor at Cornell University and visiting roles at prominent institutions. He has received several awards, including fellowships from ACM and AAAS, and contributed to various algorithms and theories in computer science.
Zodiac Sign (Western)
Sunsign, Tropical Zodiac
Zodiac Sign (Vedic)
Moonsign, Sidereal Zodiac
Age (Today)
Your next birthday is 300 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 - Dexter
right-handed, skillful
Read Full Dexter Name AnalysisDecember 20, 1951 Facts
Generation Group
Dexter Kozen belongs to the Baby Boomers group.
Educated At: Dartmouth College | Cornell University
Occupation: computer scientist
Employers: Cornell University
Awards Received: Fellow of the American Association for the Advancement of Science | ACM Fellow | W. Wallace McDowell Award | Guggenheim Fellowship | EATCS award
Astrology Analysis
Ephemeris for December 20, 1951
Note: Moon position is location and time sensitive.| Planet | Position (Tropical, Western) | Transits on December 20, 2024 | Secondary Progressions for December 20, 2024 |
|---|---|---|---|
| Sun | 28 Sagittarius 0 | 29 Sagittarius 18 | 12 Pisces 4 |
| Moon | 17 Virgo 39 | 4 Virgo 51 | 2 Gemini 20 |
| Mercury | 19 Sagittarius 43 | 8 Sagittarius 6 | 20 Pisces 34 |
| Venus | 14 Scorpio 35 | 15 Aquarius 19 | 12 Aquarius 55 |
| Mars | 14 Libra 43 | 4 Leo 53 | 15 Scorpio 36 |
| Jupiter | 4 Aries 48 | 14 Gemini 32 | 16 Aries 24 |
| Saturn | 14 Libra 24 | 13 Pisces 42 | 14 Libra 19 |
| Uranus | 12 Cancer 34 | 23 Taurus 58 | 10 Cancer 2 |
| Neptune | 21 Libra 23 | 27 Pisces 10 | 21 Libra 18 |
| Pluto | 21 Leo 22 | 0 Aquarius 43 | 19 Leo 49 |
| Rahu | 4 Pisces 3 | 2 Aries 5 | 0 Pisces 11 |
| Ketu | 4 Virgo 3 | 2 Libra 5 | 0 Virgo 11 |
Chandra Kundali (Equal House, North Indian Diamond Chart)
Astrology Transits Analysis for Year 2025
Note: Multiple transits occurring in close proximity often signify a major event in a person's life.Dexter Kozen's 2025 Transits to Natal Planets
- Saturn opposition Moon
Exact: 10 February, 2025 - Saturn square Mercury
Exact: 02 March, 2025 - Jupiter trine Saturn
Exact: 22 March, 2025 - Jupiter trine Mars
Exact: 22 March, 2025 - Jupiter opposition Mercury
Exact: 21 April, 2025 - Saturn square Sun
Exact: 11 May, 2025 - Mars square Venus
Exact: 21 May, 2025 - Jupiter opposition Sun
Exact: 31 May, 2025 - Jupiter trine Rahu
Exact: 30 June, 2025 - Mars square Mercury
Exact: 20 July, 2025 - Jupiter trine Venus
Exact: 19 August, 2025 - Mars conjunction Mars
Exact: 29 August, 2025 - Mars conjunction Saturn
Exact: 29 August, 2025 - Ketu conjunction Moon
Exact: 08 September, 2025 - Saturn square Sun
Exact: 18 September, 2025
