Foundations of Computing


We work on a wide range of topics that can broadly be summarized by logic in computer science, and foundations of software science, computer systems and programming languages.

Events and Activities

MGS 2017

Seminar on Category Theory and its Applications (ongoing).

Seminar on Computational Social Science (ongoing).

Departmental workshop on applications of machine learning and data mining, June 10, 2016.


Former Members

PhD Students

  • Samuel Balco - Proof Theory of Multi-Type Display Calculi
  • James Hoey - Reversible debugging of multi-threaded programs
  • Mirzhan Irkegulov - Game Theory
  • John Whitington - Program Analysis
  • Yi Xiao - Nominal Automata
  • Hao Zeng - Nominal Automata

Research Overview

We work in a number of areas including: Calculi and models of concurrent, distributed, mobile, and context-aware computing; (Co)algebraic and categorical models; Modal logic and description logic; Proof theory and tableaux systems; General systems theory and computational models (chemical, biological, etc); Semantics of conceptual modelling methods and techniques; Semantics of programming languages; Type theory; Lambda-calculus; nfinitary lambda calculus; Rewriting; Session types; Graph transformations; Term rewriting; Theorem proving; Stochastic approaches; Rewriting of bio-structures; Nominal techniques; Verification;


Contact details for each staff member and most PhD students are available from their respective homepages.

For general enquiries about the FoCo theme, please contact Alexander Kurz

Share this page:

Contact Us

Admissions Enquiries:
BSc: +44 (0) 116 252 5280
MSc: +44 (0) 116 252 2265
E: BSc
E: MSc

Departmental Enquiries:
T: +44 (0) 116 252 2129/3887
F: +44 (0) 116 252 3604

Dept of Informatics
University of Leicester
Leicester, LE1 7RH
United Kingdom


AccessAble logo

The University of Leicester is committed to equal access to our facilities. DisabledGo has a detailed accessibility guide for the Informatics Building.