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
Sadie Creese
Ivan Flechais
Michael Goldsmith
Christopher Hargreaves
Andrew D. Ker
Andrew Martin
Ivan Martinovic
Kasper Rasmussen
Bill Roscoe
Andrew Simpson
Affiliated Faculty
Reuben Binns
Marina Jirotka
Visitors
Bob Coecke
Visiting Fellow
Research
Ioannis Agrafiotis
Louise Axon
Richard Baker
George Chalhoub
Bill Dutton
Students
Angeliki Aktypi
Selina Cho
Siddhartha Datta
Paula Fiddi
Hayyu Imanda
Jack Jackson
Sebastian Köhler
Andikan Otung
Yashovardhan Sharma
Anjuli R. K. Shere
(Research Fellow, Shorenstein Center on Media, Politics and Public Policy at Harvard's Kennedy School)
Jack Sturgess
Professional Services
Lorna Swadling
PA to Professor Sadie Creese
Past Members
Adedayo Adetoye
Bushra AlAhmadi
Deena Alghamdi
Robin Ankele
Ahmad Atamli
Thomas Bashford-Rogers
Mary Bispham
Ravishankar Borgaonkar
(Visiting Researcher at Telekom Innovation Laboratories, Berlin, Germany)
Bangdao Chen
(OxCept Security Company)
Katriel Cohn-Gordon
Cas Cremers
Martin Dehnel-Wild
Tulio de Souza
Adrian Duncan
Shamal Faily
Sebastian Farquhar
Katherine Fletcher
Nalin Asanka
Luke Garratt
Munir Geden
Ilias Giechaskiel
Jassim Happa
Duncan Hodges
Marko Horvat
Xin Huang
Dennis Jackson
Justin King-Lacroix
Martin J. Kraemer
Dr. Kubilay Ahmet Küçük (www.kuc.uk)
(Consultant/Contractor at kucuk@acm.org)
Phil Legg
Martin Lester
Anthony W. Lin
Joe Loughry
Giulio Lovisotto
Ivans Lubenko
John Lyle
Nick Moffat
Nicholas Moore
Tim Muller
Faizana Naeem
Cornelius Namiluko
Mariam Nouh
Norbert Nthala
Jason Nurse
Emma Osborn
Andrew Paverd
Elizabeth Phillips
Marc Roeschlin
Anbang Ruan
Arianna Schuler Scott
Matt Smith
Martin Strohmeier
(Cyber-Defence Campus, armasuisse Science & Technology)
Wattana Viriyasitavat
Meredydd Williams
Youqian Zhang
Research
Algorithms and Complexity Theory
Artificial Intelligence and Machine Learning
Automated Verification
Computational Biology and Health Informatics
Data and Knowledge
Human Centered Computing
Programming Languages
Quantum
Security
Activities
Projects
People
Publications
Systems
Back to Top