Permanent academic staff
Ross Anderson
Alastair Beresford
Digital technology research
group
Alan Blackwell
Graphics &
interaction research group
Ted Briscoe
Natural language
& information processing research
group
Stephen Clark
Natural language
& information processing research group
Ann Copestake
Natural language
& information processing research group
Jon Crowcroft
John Daugman
Artificial intelligence research
group
Anuj Dawar
Programming, logic
& semantics research group
Neil Dodgson
Graphics &
interaction research group
Marcelo Fiore
Programming, logic
& semantics research group
Richard Gibbens
Mike Gordon
Programming, logic
& semantics research group
David Greaves
Systems research
group
Computer
architecture research group
Timothy Griffin
Programming, logic
& semantics research group
Systems research
group
Steven Hand
Robert Harle
Digital technology research
group
Sean Holden
Artificial
intelligence research group
Andy Hopper
Digital technology research
group
Mateja Jamnik
Artificial
intelligence research group
Programming, logic &
semantics research group
Markus Kuhn
Ian Leslie
Pietro Liò
Artificial
intelligence research group
Cecilia Mascolo
Andrew Moore
Simon Moore
Computer
architecture research group
Robert Mullins
Computer
architecture research group
Alan Mycroft
Programming,
logic & semantics research group
Computer
architecture research group
Lawrence Paulson
Programming, logic
& semantics research group
Andrew Pitts
Programming, logic
& semantics research group
Andrew Rice
Digital technology research
group
Peter Robinson
Graphics &
interaction research group
Peter Sewell
Programming, logic
& semantics research group
Frank Stajano
Security research
group
Digital technology research
group
Sam Staton
Programming, logic
& semantics research group
Simone Teufel
Natural language &
information processing research group
Ian Wassell
Digital technology research
group
Glynn Winskel
Programming, logic
& semantics research group
See also
- full list of all staff, PhD students, and visitors – with telephone numbers, office numbers, and e-mail addresses