Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Programming Languages
  4. People

People

Faculty

Maximilian Doré
Jeremy Gibbons
Bartek Klin
Andrzej Murawski
Sam Staton
Nobuko Yoshida

Affiliated Faculty

Hanno Nickau

Emeritus Faculty

Samson Abramsky
Luca Cardelli
Geraint Jones
Mike Spivey
Bernard Sufrin

Research

Pedro Azevedo de Amorim
Ping Hou
Paolo Perrone
Mario Román
Ruben Van Belle

Students

Benedict  Bunting
Nathan Corbyn
Maria  Craciun
Johannes Hartmann
Lukas Heidemann
Nick Hu
Younesse Kaddar
Jacek  Karwowski
Andrew Kenyon-Roberts
Jack  Liell-Cock
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
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
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

Back to Top