Andrei Voronkov
Computer scientist · voronkov.com
>
Andrei Anatolievič Voronkov is a Professor of Formal methods in the Department of Computer Science at the University of Manchester. Wikipedia
Affiliation: University of Manchester
Research interests: Automated Reasoning and Web Services