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

Jeremy Gibbons
Geraint Jones
Bartek Klin
Andrzej Murawski
Luke Ong
Mike Spivey
Sam Staton
Nobuko Yoshida

Affiliated Faculty

Hanno Nickau

Emeritus Faculty

Luca Cardelli
Bernard Sufrin

Visiting Professors

Samson Abramsky

Research

Pedro Azevedo de Amorim
Ping Hou
Paolo Perrone
Philip  Saville
Amrita Suresh
Ruben Van Belle
Martin  Vassor
Peixin Wang

Students

Benedict  Bunting
Nathan Corbyn
Maria  Craciun
Maximilian Doré
Johannes Hartmann
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
Dominik Wagner
Jingjie  Yang
Fabian Zaiser

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
Hugo Paquet
Maciej Pirog
Steven Ramsay
Max Schaefer
Sam Speight
Dario Stein
Matthijs Vákár
Meng Wang
Jim Whitehead
Nicolas Wu
Hongseok Yang
Junghun Yoo
Timothy Zakian
Yuan Zhou

Research

Back to Top