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
Jeremy Gibbons
Bartek Klin
Andrzej Murawski
Mike Spivey
Sam Staton
Nobuko Yoshida
Affiliated Faculty
Hanno Nickau
Emeritus Faculty
Luca Cardelli
Geraint Jones
Bernard Sufrin
Visiting Professors
Samson Abramsky
Research
Pedro Azevedo de Amorim
Ping Hou
Paolo Perrone
Philip Saville
Amrita Suresh
Ruben Van Belle
Martin Vassor
Students
Benedict Bunting
Nathan Corbyn
Maria Craciun
Swaraj Dash
Lukas Heidemann
Nick Hu
Younesse Kaddar
Jacek Karwowski
Andrew Kenyon-Roberts
Jack Liell-Cock
Kai Pischke
Diptarko Roy
Nihil Shah
Razin Shaikh
Zev Shirazi
Ned Summers
Jingjie Yang
Fabian Zaiser
Past Members
Guillaume Boisseau
Luke Cartey
Kwok-Ho Cheung
Oege de Moor
Maximilian Doré
Emanuele D'Osualdo
Stephen Drape
Torbjörn Ekman
Lorenzo Gheri
Giulio Guerrieri
Tom Harper
Johannes Hartmann
Jules Hedges
Ralf Hinze
Mathieu Huot
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
Sean Moss
Robin Neatherway
Bruno Oliveira
Luke Ong
Hugo Paquet
Maciej Pirog
Steven Ramsay
Max Schaefer
Sam Speight
Dario Stein
Matthijs Vákár
Dominik Wagner
Meng Wang
Peixin Wang
Jim Whitehead
Nicolas Wu
Hongseok Yang
Junghun Yoo
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 Centered Computing
Programming Languages
Activities
Projects
People
Publications
Quantum
Security
Systems
Back to Top
