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, many-valued 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 Al-ZobaidiDan Ghica
Liang-Ting ChenAchim Jung
Olle FredrikssonDan Ghica
Bram GeronPaul Levy
Juliusz KopczewskiUday Reddy
Asiri RathnayakeHayo Thielecke
Guillaume RaynaudSteve Vickers
Alex SmithDan Ghica
Maxim StryginHayo Thielecke
Chuangjie XuMartín Escardó

Seminars