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
Foundations, Structures, and Quantum
People
People
Faculty
Jonathan Barrett
Stefano Gogioso
Aleks Kissinger
Hanno Nickau
Affiliated Faculty
Michael Benedikt
Stefan Kiefer
Andrzej Murawski
Luke Ong
Sam Staton
Visitors
Samson Abramsky
Giulio Chiribella
(CIFAR-Azrieli Global Scholar)
John van de Wetering
Research
Dominic Horsman
Dan Marsden
Students
Cole Comfort
Nanqing Dong
James Hefford
Nick Hu
Mathieu Huot
Younesse Kaddar
Alexander Koziell-Pipe
Hlér Kristjánsson
Cristina Matache
Andrei Shieber
Sam Speight
Alexis Toumi
Tein van der Lugt
Dominik Wagner
Fabian Zaiser
Administration
Destiny Chen
Project Coordinator
Janet Sadler
Administrator, CDT in Cyber Security
Past Members
Bahareh Afshari
(Vienna University of Technology)
Dmitri Akatov
Andrei Akhvlediani
John-Mark Allen
Philip Atzemoglou
Alexandru Baltag
(University of Amsterdam)
Jacob Biamonte
(ISI Foundation)
Christopher Broadbent
Samuel Bucheli
Doina Bucur
Giovanni Carù
Eric Cavalcanti
Cristina Cirstoiu
Bob Coecke
Carmen Constantin
Nadish de Silva
Andreas Doering
Christoph Dorn
Emanuele D'Osualdo
Conrad Drescher
Ross Duncan
(Free University of Brussels)
Penelope Economou
William Edwards
(Perimeter Institute)
Lu Feng
Brendan Fong
Fabrizio Romano Genovese
Dan Ghica
(University of Birmingham)
Edward Grefenstette
Liz Gresham
Giulio Guerrieri
Amar Hadzihasanovic
(RIMS, Kyoto University)
Matthew Hague
Jules Hedges
Chris Heunen
(University of Edinburgh)
Matty Hoban
David Hopkins
Paul Hunter
Egor Ianovski
Ohad Kammar
Dimitri Kartsaklis
Alex Kavvos
Pascal Kesseli
Kohei Kishida
Daniel Kroening
David Landsberg
Ciaran Lee
Martin Lester
Martha Lewis
Anthony W. Lin
Robin Lorenz
Leon Loveridge
Shane Mansfield
Enrico Marchioni
Fotini Markopoulou
(Perimeter Institute)
Owen Maroney
Yoshihiro Maruyama
Konstantinos Meichanetzidis
Alex Merry
Hector Miller-Bakewell
Ashutosh Natraj
(IEEE, British Automation and Robot Association (BARA) - Academic Forum for Robotics)
Ognyan Oreshkov
Eric Paquette
David Parker
(University of Birmingham)
Vaia Patta
Karl Paulsson
Dusko Pavlovic
(Royal Holloway)
Simon Perdrix
(University of Grenoble)
Justyna Petke
Robin Piedeleu
Roman Priebe
Matthew Pusey
(University of York)
David Quick
Steven Ramsay
Luca Reggio
David Reutter
Daniel Roberts
(MIT)
Subhayan Roy Moulik
Philipp Ruemmer
Mehrnoosh Sadrzadeh
András Salamon
Sina Salek
Carlo Maria Scandolo
John Selby
Marni Sheppeard
Rui Soares Barbosa
Maria Stasinou
Dario Stein
Colin Stephen
Evgenij Thorstensen
Sean Tull
Nikos Tzevelekos
(Queen Mary, University of London)
Matthijs Vákár
Michael Vanden Boom
Dominic Verdon
Jamie Vicary
Quanlong Wang
Olivia Waring
Linde Wester
Yong Xie
Norihiro Yamada
William Zeng
Jonathan Zvesper
Maaike Zwart
Research
Algorithms and Complexity Theory
Artificial Intelligence and Machine Learning
Automated Verification
Computational Biology and Health Informatics
Cyber Physical Systems
Data and Knowledge
Foundations, Structures, and Quantum
Activities
Projects
People
Publications
Human Centered Computing
Programming Languages
Security
Back to Top