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
Programming Languages
People
People
Faculty
Jeremy Gibbons
Geraint Jones
Bartek Klin
Andrzej Murawski
Luke Ong
Mike Spivey
Sam Staton
Nobuko Yoshida
Affiliated Faculty
Luca Cardelli
Hanno Nickau
Emeritus Faculty
Bernard Sufrin
Visiting Professors
Samson Abramsky
Research
Sean Moss
Paolo Perrone
Philip Saville
Peixin Wang
Students
Guillaume Boisseau
Benedict Bunting
Nathan Corbyn
Maria Craciun
Swaraj Dash
Maximilian Doré
Johannes Hartmann
Lukas Heidemann
Nick Hu
Mathieu Huot
Younesse Kaddar
Jacek Karwowski
Andrew Kenyon-Roberts
Jack Liell-Cock
Diptarko Roy
Nihil Shah
Razin Shaikh
Zev Shirazi
Sam Speight
Ned Summers
Dominik Wagner
Junghun Yoo
Fabian Zaiser
Past Members
Luke Cartey
Kwok-Ho Cheung
Oege de Moor
Emanuele D'Osualdo
Stephen Drape
Torbjörn Ekman
Giulio Guerrieri
Tom Harper
Jules Hedges
Ralf Hinze
Daniel James
Ohad Kammar
Eric Kerfoot
Pascal Kesseli
Josh Ko
Daniel Kroening
Martin Lester
Anthony W. Lin
José Pedro Magalhães
Carol Mak
Cristina Matache
Thomas Mattinson
Robin Neatherway
Bruno Oliveira
Hugo Paquet
Maciej Pirog
Steven Ramsay
Max Schaefer
Dario Stein
Matthijs Vákár
Meng Wang
Jim Whitehead
Nicolas Wu
Hongseok Yang
Timothy Zakian
Yuan Zhou
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
Activities
Projects
People
Publications
Quantum
Security
Systems
Back to Top