Skip to main content

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. 

Related seminar series

All Activities


Algebra of Programming The Algebra of Programming group researches mathematically sound yet …

Read more about Algebra of Programming

Differentiable and Probabilistic Programming Probabilistic programming is a method for writing statistical models …

Read more about Differentiable and Probabilistic Programming

All Publications