Andrei Anatolievič Voronkov is a Professor of Formal methods in the Department of Computer Science at the University of Manchester.
Andrei Voronkov at the Alan Turing Centenary Conference, June 24th, 2012
Department of Computer Science, University of Manchester
The Department of Computer Science at the University of Manchester is the longest established department of Computer Science in the United Kingdom and one of the largest. It is located in the Kilburn Building on the Oxford Road and currently has over 800 students taking a wide range of undergraduate and postgraduate courses and 60 full-time academic staff.
The Department of Computer Science is based in the Kilburn Building on Oxford Road
Professor Steve Furber FRS FREng works on the SpiNNaker and the Human Brain Project
Carole Goble CBE FREng is a Professor of Computer Science
Professor Robert Stevens has served head of school/department since 2016