Andrei Voronkov

from Wikipedia, the free encyclopedia
Andrei Voronkov, 2012

Andrei A. Voronkov (born May 1959 ) is a Russian-Swedish computer scientist and Professor of Formal Methods at the School of Computer Science at the University of Manchester and at Novosibirsk State University . He developed the theorem solver Vampire for machine- aided proof , the conference management program EasyChair and organized the Alan Turing Centenary Conference in 2012 .

For 2015 he was awarded the Herbrand Award .

Web links

Individual evidence

  1. ↑ a b https://beta.companieshouse.gov.uk/officers/KMmptYHYk0T1HVo8Es81NQjzd88/appointments
  2. ^ Prof Andrei Voronkov, research profile - personal details (The University of Manchester) . Retrieved June 8, 2012.
  3. ^ Publications by Andrei Voronkov at Google Scholar
personal data
SURNAME Voronkov, Andrei
ALTERNATIVE NAMES Voronkov, Andrei A.
BRIEF DESCRIPTION Russian-Swedish computer scientist and professor
DATE OF BIRTH May 1959