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 |
Model theory, Diophantine geometry and combinatorics | Engineering and Physical Sciences Research Council (EPSRC) | 1 May 2021 | 30 April 2026 |
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 |
Past projects
Title | Funder | Start date | End date |
---|---|---|---|
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 |