Andrei Voronkov
![Andrei Voronkov at the [[Alan Turing Centenary Conference]], June 24th, 2012](https://upload.wikimedia.org/wikipedia/commons/c/c6/Andrei_Voronkov_-_Turing_100_-_2012_-_Portrait.jpg)
Andrei Anatolievič Voronkov (born 1959) is a Professor of Formal methods in the Department of Computer Science at the University of Manchester.
Provided by Wikipedia
Andrei Anatolievič Voronkov (born 1959) is a Professor of Formal methods in the Department of Computer Science at the University of Manchester.
Provided by Wikipedia