| 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 |
| 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 |
| 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 |
| 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 |
|
