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
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17