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