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
Samson Abramsky
Jonathan Barrett
Michael Benedikt
Giulio Chiribella
(CIFAR-Azrieli Global Scholar)
Bob Coecke
Stefan Kiefer
Daniel Kroening
Anthony W. Lin
Andrzej Murawski
Photo not available
Hanno Nickau
Luke Ong
Sam Staton
Jamie Vicary
Visitors
Selma Dundar
Research
Jules Hedges
Ohad Kammar
Martin Lester
Dan Marsden
Rui Soares Barbosa
Matthijs Vákár
Students
Giovanni Carù
Abhishek Dasgupta
Christoph Dorn
Robin Lorenz
Benjamin Musto
Vaia Patta
Robin Piedeleu
Andre Ranchin
(Imperial College London)
David Reutter
Subhayan Roy Moulik
Carlo Maria Scandolo
Photo not available
John Selby
Sam Speight
Photo not available
Maria Stasinou
Sean Tull
Dominic Verdon
Linde Wester
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)
Photo not available
Christopher Broadbent
Samuel Bucheli
Photo not available
Doina Bucur
Eric Cavalcanti
Destiny Chen
Carmen Constantin
Nadish de Silva
Andreas Doering
Emanuele D'Osualdo
Conrad Drescher
Ross Duncan
(Free University of Brussels)
Photo not available
Penelope Economou
William Edwards
(Perimeter Institute)
Lu Feng
Brendan Fong
Dan Ghica
(University of Birmingham)
Stefano Gogioso
Edward Grefenstette
Liz Gresham
Giulio Guerrieri
Amar Hadzihasanovic
(RIMS, Kyoto University)
Matthew Hague
Chris Heunen
(University of Edinburgh)
Matty Hoban
Photo not available
David Hopkins
Clare Horsman
Paul Hunter
Egor Ianovski
Dimitri Kartsaklis
Alex Kavvos
Pascal Kesseli
Kohei Kishida
Aleks Kissinger
Photo not available
David Landsberg
Ciaran Lee
Martha Lewis
Leon Loveridge
Shane Mansfield
Enrico Marchioni
Fotini Markopoulou
(Perimeter Institute)
Owen Maroney
Yoshihiro Maruyama
Alex Merry
Ashutosh Natraj
(IEEE, British Automation and Robot Association (BARA) - Academic Forum for Robotics)
Ognyan Oreshkov
Eric Paquette
David Parker
Karl Paulsson
Dusko Pavlovic
(Royal Holloway)
Simon Perdrix
(University of Grenoble)
Justyna Petke
Roman Priebe
David Quick
Steven Ramsay
Daniel Roberts
(MIT)
Philipp Ruemmer
Janet Sadler
Mehrnoosh Sadrzadeh
András Salamon
Marni Sheppeard
Photo not available
Colin Stephen
Evgenij Thorstensen
Nikos Tzevelekos
(Queen Mary, University of London)
Michael Vanden Boom
Photo not available
Olivia Waring
Photo not available
Yong Xie
Norihiro Yamada
William Zeng
Jonathan Zvesper
Research
Algorithms and Complexity Theory
Artificial Intelligence and Machine Learning
Automated Verification
Computational Biology and Health Informatics
Cyber Physical Systems
Foundations, Structures, and Quantum
Activities
Projects
People
Publications
Human Centred Computing
Information Systems
Programming Languages
Security
Back to Top