Andrei A. Voronkov is a Russian-Swedish computer scientist and professor of formal methods at the University of Manchester's School of Computer Science and at Novosibirsk State University. He is known for developing the theorem prover Vampire for automated reasoning, as well as the conference management system EasyChair. In addition, he organized the Alan Turing Centenary Conference in 2012. Voronkov was awarded the Herbrand Award in 2015.
Zodiac Sign (Western)
Sunsign, Tropical Zodiac
Zodiac Sign (Vedic)
Moonsign, Sidereal Zodiac
Age (Today)
Your next birthday is 325 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 - Andrei
manly, brave
Read Full Andrei Name AnalysisMay 14, 1959 Facts
Generation Group
Andrei A. Voronkov belongs to the Baby Boomers group.
Educated At: Novosibirsk State University
Occupation: university teacher | computer scientist
Employers: University of Manchester
Awards Received: Herbrand Award
Astrology Analysis
Note: This birth chart is calculated using the date and place of birth, with the time set to noon (12:00 PM) local time. While this provides accurate planetary positions for most celestial bodies, the Ascendant (Rising Sign) and house cusps are not calculated since they require precise birth time. For a complete astrological analysis including houses and rising sign, please provide the exact birth time.
Ephemeris for May 14, 1959
Note: Moon position is location and time sensitive.| Planet | Position (Tropical, Western) | Transits on May 14, 2025 | Secondary Progressions for May 14, 2025 |
|---|---|---|---|
| Sun | 23 Taurus 9 | 24 Taurus 9 | 26 Cancer 16 |
| Moon | 9 Leo 34 | 16 Sagittarius 18 | 20 Capricorn 18 |
| Mercury | 3 Taurus 6 | 7 Taurus 22 | 18 Leo 57 |
| Venus | 4 Cancer 35 | 9 Aries 36 | 8 Virgo 10 |
| Mars | 19 Cancer 42 | 12 Leo 9 | 29 Leo 32 |
| Jupiter | 27 Scorpio 29 | 24 Gemini 13 | 21 Scorpio 59 |
| Saturn | 6 Capricorn 49 | 29 Pisces 3 | 2 Capricorn 30 |
| Uranus | 12 Leo 30 | 27 Taurus 7 | 15 Leo 24 |
| Neptune | 5 Scorpio 5 | 1 Aries 29 | 4 Scorpio 10 |
| Pluto | 1 Virgo 39 | 3 Aquarius 47 | 2 Virgo 41 |
| Rahu | 10 Libra 58 | 24 Pisces 24 | 7 Libra 28 |
| Ketu | 10 Aries 58 | 24 Virgo 24 | 7 Aries 28 |
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.Andrei A. Voronkov's 2025 Transits to Natal Planets
- Jupiter trine Rahu
Exact: 21 January, 2025 - Mars conjunction Mars
Exact: 31 January, 2025 - Mars conjunction Mars
Exact: 22 March, 2025 - Saturn sextile Sun
Exact: 22 March, 2025 - Mars conjunction Moon
Exact: 11 May, 2025 - Jupiter conjunction Venus
Exact: 30 June, 2025 - Jupiter opposition Saturn
Exact: 10 July, 2025 - Mars square Saturn
Exact: 19 August, 2025 - Jupiter conjunction Mars
Exact: 18 September, 2025 - Mars opposition Mercury
Exact: 28 September, 2025
