Andrei Voronkov
Andrei A. Voronkov is a computer scientist and Professor of Formal Methods at the School of Computer Science, University of Manchester and at the Novosibirsk State University. He developed the program for machine- assisted proofs vampires, the Conference Management Program Easy Chair and organized the 2012 Alan Turing Centenary Conference.
His research has been funded by the Engineering and Physical Sciences Research Council.
Evidence
- Own website
- List of Publications University of Trier
- List of Publications Academic Research
- University teachers ( University of Manchester )
- Computer scientist
- Born in the 20th century
- Man