Name Role Tel Location Email
Dr Richard Banach Senior Lecturer Kilburn Building 
Dr Konstantin Korovin Royal Society University Research Fellow Kilburn Building 
Dr Eva Navarro Lopez Lecturer/RCUK Academic Fellow 0161-2756209 Kilburn Building - 2.103 
Dr Ian Pratt-Hartmann Senior Lecturer 0161-2756223 Kilburn Building - 2.38 
Prof Allan Ramsay Emeritus Professor Kilburn Building 
Dr Giles Reger Lecturer Kilburn Building 
Dr David Rydeheard Honorary Senior Lecturer (tchng & Rsrch) 0161-2756164 Kilburn Building - 2.111 
Dr Andrea Schalk Lecturer Kilburn Building - 2.34 
Dr Renate Schmidt Reader 0161-2756163 Kilburn Building - 2.42 
Prof Andrei Voronkov Professor Of Formal Methods 
▲ Up to the top