Skip navigation

Andrei Voronkov

Andrei Voronkov is Professor of Computer Science at the University of Manchester, UK.