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

Publications

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

Info

Activities

Current projects

Completed projects

People

Faculty

Visitors

Andrzej Murawski
(University of Warwick)

Research

Students

Andre Ranchin
(Imperial College London)

External

Administration

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