Research projects
You searched in School of Mathematics Research and innovation
Current projects
| Title | Funder | Start date | End date |
|---|---|---|---|
| Combinatorial Representation Theory: Algebra and its interfaces with geometry, topology and combinatorics | Engineering and Physical Sciences Research Council (EPSRC) | 1 August 2022 | 31 July 2027 |
| Anyons, Braids and Categories | Royal Society | 1 May 2025 | 30 April 2027 |
| 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 |
| Eco-Evolutionary Dynamics of Fluctuating Populations | 1 December 2021 | 31 May 2025 | |
| Direct Statistical Simulation of the Sun and Stars (D5S) | EU Horizon 2020 | 1 October 2018 | 30 September 2024 |
| Monoidal bicategories, linear logic and operads | EPSRC | 1 October 2020 | 30 September 2023 |
| Transient Tomography for Defect Detection | Engineering and Physical Sciences Research Council (EPSRC) | 1 October 2021 | 30 September 2022 |
| Categorifying Turbulence in Borel Reducibility | Engineering and Physical Sciences Research Council (EPSRC) | 1 June 2021 | 31 May 2022 |
| Leeds-Africa Hub for Data Science & Artificial Intelligence | 1 February 2023 |