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 299 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, 2026 | Secondary Progressions for May 14, 2026 |
|---|---|---|---|
| Sun | 23 Taurus 9 | 23 Taurus 55 | 27 Cancer 13 |
| Moon | 9 Leo 34 | 24 Aries 10 | 4 Aquarius 40 |
| Mercury | 3 Taurus 6 | 24 Taurus 3 | 19 Leo 10 |
| Venus | 4 Cancer 35 | 24 Gemini 49 | 8 Virgo 48 |
| Mars | 19 Cancer 42 | 26 Aries 48 | 0 Virgo 9 |
| Jupiter | 27 Scorpio 29 | 21 Cancer 1 | 21 Scorpio 59 |
| Saturn | 6 Capricorn 49 | 10 Aries 30 | 2 Capricorn 26 |
| Uranus | 12 Leo 30 | 1 Gemini 4 | 15 Leo 28 |
| Neptune | 5 Scorpio 5 | 3 Aries 39 | 4 Scorpio 10 |
| Pluto | 1 Virgo 39 | 5 Aquarius 29 | 2 Virgo 42 |
| Rahu | 10 Libra 58 | 5 Pisces 5 | 7 Libra 25 |
| Ketu | 10 Aries 58 | 5 Virgo 5 | 7 Aries 25 |
Chandra Kundali (Equal House, North Indian Diamond Chart)
Astrology Transits Analysis for Year 2026
Andrei A. Voronkov's 2026 Transits to Natal Planets
- Jupiter conjunction Mars
Exact: 11 January, 2026 - Saturn square Saturn
Exact: 11 April, 2026 - Jupiter conjunction Mars
Exact: 11 May, 2026 - Saturn conjunction Ketu
Exact: 21 May, 2026 - Saturn opposition Rahu
Exact: 21 May, 2026 - Mars square Moon
Exact: 31 May, 2026 - Mars conjunction Sun
Exact: 20 June, 2026 - Jupiter trine Jupiter
Exact: 20 June, 2026 - Mars conjunction Venus
Exact: 19 August, 2026 - Jupiter trine Ketu
Exact: 19 August, 2026 - Mars square Rahu
Exact: 29 August, 2026 - Saturn conjunction Ketu
Exact: 28 September, 2026 - Saturn opposition Rahu
Exact: 28 September, 2026
