Programming Languages
Research falling under this theme includes our work in programming language theory, design and implementation.
Faculty include Samson Abramsky, Luca Cardelli, Jeremy Gibbons, Hanno Nickau, Geraint Jones, Bartek Klin, Andrzej Murawski, Luke Ong, Mike Spivey, and Sam Staton.
There is also a lively group of research staff and students. For a full list, see [here].
Programming language research in Oxford began in 1965 with the Programming Research Group [wikipedia], and continues to have connections to research themes across the department.