Research projects
You searched in School of Mathematics Pure Mathematics
Current projects
| Title | Funder | Start date | End date |
|---|---|---|---|
| Anyons, Braids and Categories | Royal Society | 1 May 2025 | 30 April 2027 |
| Finite structures, combinatorial regularity, and measuring semirings | Engineering and Physical Sciences Research Council (EPSRC) | 1 September 2025 | 31 August 2026 |
| Model theory, Diophantine geometry and combinatorics | Engineering and Physical Sciences Research Council (EPSRC) | 1 May 2021 | 30 April 2026 |
Past projects
| Title | Funder | Start date | End date |
|---|---|---|---|
| Syntax and semantics of 2-dimensional type theories | 31 October 2020 | 30 October 2025 | |
| Model theory of analytic functions | Engineering and Physical Sciences Research Council (EPSRC) | 1 September 2020 | 31 August 2025 |
| Understanding the axioms: the interactions of the Axiom of Choice with large cardinal axioms | UKRI | 1 April 2022 | 30 September 2024 |
| Monoidal bicategories, linear logic and operads | EPSRC | 1 October 2020 | 30 September 2023 |
| Categorifying Turbulence in Borel Reducibility | Engineering and Physical Sciences Research Council (EPSRC) | 1 June 2021 | 31 May 2022 |