Mathematical foundations of computation group members
We are a team of academics exploring the relationship between mathematics and computer science.
We use computers to manipulate representations of algebraic and geometric concepts, with applications to topics such as cryptography, security and engineering. We are the UK's leading centre for this work in computational mathematics and its applications. We are the EU centre of expertise on interfacing computer algebra to numeric calculations.
We use mathematical structures to put computer science on firm theoretical foundations. We are concerned with the mathematical understanding of logical reasoning, of programs, of processes, of programming languages, and of theorem provers.
Our methods include ideas and techniques from category theory, game theory, model theory, proof theory and type theory, as well from more traditionally computational topics such as automata, formal languages and computability.
Academic staff
- Dr Russell Bradford (personal page)
- Dr Paola Bruscoli (personal page)
- Professor James Davenport (personal page)
- Dr Alessio Guglielmi (personal page)
- Dr Willem Heijltjes (personal page)
- Dr James Laird
- Professor Guy McCusker, Head of Group
- Dr Thomas Powell (personal page), Deputy Head of Group
- Dr Benjamin Ralph (personal page)
- Professor Nicolai Vorobjov (personal page)
Research associates
Postgraduate students
Former members
- Saif Al-Kuwari (personal page)
- Chris Barrett (personal page)
- Can Baskent (personal page)
- Valentin Blot (personal page)
- Anupam Das (personal page)
- Etienne Duchesne
- Matthew England (personal page)
- Ieuan Evans
- Timothy French
- William John Gowers
- Giulio Guerrieri (personal page)
- Mesar Hameed (personal page)
- Fanny He (personal page)
- Jessica Jones
- Acyr Locatelli
- Akshar Nair
- Vincent van Oostrom
- Ralph Potter
- John Power
- Benjamin Pring
- Alessio Santamaria (personal page)
- Daniel Schmitter
- David Sherratt
- Zak Tonks
- Andrea Aler Tubella (personal page)
- David Wilson (personal page)
- Cai Wingfield (personal page)