Overview
Our work concerns the development and study of precise mathematical formalisms that can be employed for the design, specification, and verification of computer programs. This is in a tradition of mathematical semantics that was started in the UK in the 1960s by Peter Landin, Christopher Strachey, and Dana Scott. This kind of semantics encompasses many mathematical theories, foremost among them order theory, topology, logic, game theory, and category theory, all of which feature in the work of the Birmingham Theory Group. It is the rich and often surprising interplay between these mathematical areas and programming concerns that gives rise to opportunities for deep and profound research.
PhD opportunities
See our poster here.
We welcome applicants for PhD studies in any of these areas. Please email for more information, or contact individual researchers.
News
Staff:
Research areas  
Martín Escardó 
topology, computation with infinite objects, constructive mathematics, intuitionistic type theory 

Fredrik Nordvall Forsberg  intuitionistic type theory, category theory  
Dan Ghica  game semantics, heterogeneous computing, model checking 

Achim Jung 
mathematical structures in the foundations of computing: logic, topology, order 

Neel Krishnaswami 
type theory, verification, substructural logic, interactive computation  
Paul Levy 
denotational semantics, λcalculus with effects, nondeterminism, category theory, game semantics  
Uday Reddy  semantics of state, separation logic  
Eike Ritter  security protocol verification  
Umberto Rivieccio  algebraic logic, manyvalued logic, universal algebra, logics for AI, philosophy of mathematics  
Satnam Singh  reconfigurable computing  
Hayo Thielecke  abstract machines, concurrent and functional programming, software security 

Steve Vickers 
constructive mathematics and topology, category theory and toposes 
PhD Students:
Student  Supervisor 
Zaid AlZobaidi  Dan Ghica 
LiangTing Chen  Achim Jung 
Olle Fredriksson  Dan Ghica 
Bram Geron  Paul Levy 
Juliusz Kopczewski  Uday Reddy 
Asiri Rathnayake  Hayo Thielecke 
Guillaume Raynaud  Steve Vickers 
Alex Smith  Dan Ghica 
Maxim Strygin  Hayo Thielecke 
Chuangjie Xu  Martín Escardó 
Seminars
 Theory seminar, usually Fridays 45 pm
 Theory group mathematical lunch, usually Fridays 12 pm
 Theory group lab lunch, usually Tuesdays 12 pm, and its blog
 Midlands Graduate School in the Foundations of Computing Science
 Wessex theory seminar
 Midlands logic seminar
 Departmental seminar