Skip to main content
University of Oxford Department of Computer Science
Search for
Search
Toggle
Main Menu
Home
Study with us
Research
(current)
News
Events
About Us
Student Space
Partner with us
Home
Research
Programming Languages
People
People
Faculty
Maximilian Doré
Jeremy Gibbons
Bartek Klin
Andrzej Murawski
Sam Staton
Nobuko Yoshida
Affiliated Faculty
Amir Goharshady
Hanno Nickau
Emeritus Faculty
Samson Abramsky
Luca Cardelli
Geraint Jones
Mike Spivey
Bernard Sufrin
Research
Pedro Azevedo de Amorim
Elena Di Lavore
Ping Hou
Paolo Perrone
Mario Román
Ruben Van Belle
Students
Benedict Bunting
Nathan Corbyn
Maria Craciun
Johannes Hartmann
Ari Hernawan
Nick Hu
Nikolaj Jensen
Younesse Kaddar
Jacek Karwowski
Jack Liell-Cock
Owen Lynch
Kai Pischke
Jessica Richards
Diptarko Roy
Razin Shaikh
Zev Shirazi
Ned Summers
Jingjie Yang
Litu Zou
Past Members
Guillaume Boisseau
Luke Cartey
Kwok-Ho Cheung
Swaraj Dash
Oege de Moor
Emanuele D'Osualdo
Stephen Drape
Torbjörn Ekman
Lorenzo Gheri
Giulio Guerrieri
Tom Harper
Jules Hedges
Lukas Heidemann
Ralf Hinze
Mathieu Huot
Daniel James
Ohad Kammar
Andrew Kenyon-Roberts
Eric Kerfoot
Pascal Kesseli
Josh Ko
Daniel Kroening
Martin Lester
Anthony W. Lin
José Pedro Magalhães
Carol Mak
Cristina Matache
Justus Matthiesen
Thomas Mattinson
Sean Moss
Robin Neatherway
Bruno Oliveira
Luke Ong
Hugo Paquet
Maciej Pirog
Steven Ramsay
Philip Saville
Max Schaefer
Nihil Shah
Sam Speight
Dario Stein
Matthijs Vákár
Martin Vassor
Dominik Wagner
Meng Wang
Peixin Wang
Jim Whitehead
Nicolas Wu
Hongseok Yang
Junghun Yoo
Fabian Zaiser
Timothy Zakian
Yuan Zhou
Research
Algorithms and Complexity Theory
Artificial Intelligence and Machine Learning
Automated Verification
Computational Biology and Health Informatics
Data, Knowledge and Action
Human Centred Computing
Programming Languages
Activities
Projects
People
Publications
Quantum
Security
Systems
Back to Top
