Skip to main content
University of Oxford Department of Computer Science
Search for
Search
Toggle
Main Menu
Home
Admissions
Research
(current)
News & Events
About Us
Alumni
Our Students
Innovation
Home
Research
Security
People
People
Faculty
Bob Coecke
Sadie Creese
Cas Cremers
Ivan Flechais
Michael Goldsmith
Marina Jirotka
Photo not available
Andrew D. Ker
Anthony W. Lin
Gavin Lowe
Andrew Martin
Ivan Martinovic
Tim Muller
Kasper Rasmussen
Bill Roscoe
Andrew Simpson
Research
Photo not available
Ioannis Agrafiotis
Ravishankar Borgaonkar
(Visiting Researcher at Telekom Innovation Laboratories, Berlin, Germany)
Jassim Happa
Jason Nurse
Martin Strohmeier
Students
Photo not available
Bushra AlAhmadi
Robin Ankele
Ahmad Atamli
Louise Axon
Katriel Cohn-Gordon
Martin Dehnel-Wild
Luke Garratt
Ilias Giechaskiel
Dennis Jackson
Nicholas Moore
Mariam Nouh
Emma Osborn
Elizabeth Phillips
Matt Smith
Meredydd Williams
ZHANG Youqian 张又千
Administration
Katherine Fletcher
Past Members
Adedayo Adetoye
Thomas Bashford-Rogers
Bangdao Chen
(OxCept Security Company)
Tulio de Souza
Shamal Faily
Nalin Asanka
Duncan Hodges
Marko Horvat
Xin Huang
Justin King-Lacroix
Phil Legg
Joe Loughry
Ivans Lubenko
John Lyle
Nick Moffat
Cornelius Namiluko
Andrew Paverd
Anbang Ruan
Wattana Viriyasitavat
Research
Algorithms and Complexity Theory
Security
Activities
Projects
People
Publications
Automated Verification
Information Systems
Programming Languages
Computational Biology
Foundations, Logic and Structures
Software Engineering
Back to Top
