Research projects

You searched in School of Mathematics Pure Mathematics


Current projects

Title Funder Start date End date
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
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