University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Foundations, Logic and Structures

The Foundations, Logic and Structures theme encompasses our research into the mathematical underpinnings of computer science and their application in a variety of different areas.  Major activities within this theme include our work on Quantum Information and Computation, led by Samson Abramsky and Bob Coecke; on Game Semantics and applications to Verification, led by Luke Ong; on Dynamic Epistemic Logic, led by Alexandru Baltag; and on Constraints, led by Peter Jeavons.

Recent News


Seven Papers at CSL/LICS-2014

The 23rd EACSL Annual Conference on Computer Science Logic & the 29th Annual ACM/IEEE Symposium on Logic in Computer Science

More Details...

Related seminar series



Current projects

Completed projects




Andrzej Murawski
(University of Warwick)



Andre Ranchin
(Imperial College London)



Past Members

Personal photo - Andrei Akhvlediani
Andrei Akhvlediani
Alexandru Baltag
(University of Amsterdam)
Jacob Biamonte
(ISI Foundation)
Christopher Broadbent
Doina Bucur
Personal photo - Eric Cavalcanti
Eric Cavalcanti
Personal photo - Andreas Doering
Andreas Doering
Personal photo - Conrad Drescher
Conrad Drescher
Ross Duncan
(Free University of Brussels)
Penelope Economou
William Edwards
(Perimeter Institute)
Personal photo - Lu Feng
Lu Feng
Dan Ghica
(University of Birmingham)
Personal photo - Matthew Hague
Matthew Hague
Matthew Hoban
(ICFO, Spain)
David Hopkins
Personal photo - Paul Hunter
Paul Hunter
Personal photo - Anthony Widjaja Lin
Anthony Widjaja Lin
Fotini Markopoulou
(Perimeter Institute)
Personal photo - Alex Merry
Alex Merry
Personal photo - Eric Paquette
Eric Paquette
Personal photo - Karl Paulsson
Karl Paulsson
Dusko Pavlovic
(Royal Holloway)
Simon Perdrix
(University of Grenoble)
Personal photo - Justyna Petke
Justyna Petke
Personal photo - Roman Priebe
Roman Priebe
Personal photo - Steven Ramsay
Steven Ramsay
Personal photo - Philipp Ruemmer
Philipp Ruemmer
Personal photo - András Salamon
András Salamon
Personal photo - Marni Sheppeard
Marni Sheppeard
Colin Stephen
Personal photo - Evgenij Thorstensen
Evgenij Thorstensen
Nikos Tzevelekos
(Queen Mary, University of London)
Yong Xie
Personal photo - Jonathan Zvesper
Jonathan Zvesper