University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Follow us on twitter
Linked in
Linked in
Google plus
Google plus
Stumble Upon
Stumble Upon

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; and on Game Semantics and applications to Verification, led by Luke Ong.

Recent News


Full and Partial Studentships for Doctoral Study commencing October 2015

The Department of Computer Science has several competitive scholarships available for full-time doctoral (DPhil) study to commence in October 2015. The department offers a vibrant research environment, supported by £30M of research grants from research councils, EU and industry.

More Details...

Related seminar series



Current projects

Completed projects






Andre Ranchin
(Imperial College London)


Past Members

Bahareh Afshari
(Vienna University of Technology)
Personal photo - Andrei Akhvlediani
Andrei Akhvlediani
Personal photo - Markus Aschinger
Markus Aschinger
Personal photo - Philip Atzemoglou
Philip Atzemoglou
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 - Edward Grefenstette
Edward Grefenstette
Personal photo - Matthew Hague
Matthew Hague
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 - Andrzej Murawski
Andrzej Murawski
(University of Warwick)
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 - 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 - Quan Zhang
Quan Zhang
Personal photo - Jonathan Zvesper
Jonathan Zvesper