Menu

School of Electronic Engineering and Computer Science

research menu

The People in the Theoretical Computer Science (Theory) Research Group

Dr Rob Arthan
Visiting Academic
Room: CS 440
Tel: +44 20 7882 5255

Dr Una Benlic
Postdoctoral Research Assistant
Room: CS 419

Prof Richard Bornat
Emeritus Professor of Computer Programming

Dr Yuri Bykov
Postdoctoral Research Assistant
Room: CS 419


Thomas Cuvillier
Postdoctoral Research Assistant
Room: CS 438

Prof Dino Distefano
Professor of Software Verification
Room: CS 430
Tel: +44 20 7882 8794

Dr John Drake
Postdoctoral Research Assistant
Room: CS 419

Dr Matthew Huntbach
Lecturer
Room: CS 303
Tel: +44 20 7882 5818


1 2 3 Next
Return to top