Projects per year
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
David Angdinata
- School of Engineering, Mathematics and Physics - Senior Research Associate
- Algebra, Number Theory, Logic, and Representations (ANTLR) - Member
Person: Research and Analogous, Research Group Member
-
David Aspero
- School of Engineering, Mathematics and Physics - Associate Professor in Pure Mathematics
- Algebra, Number Theory, Logic, and Representations (ANTLR) - Member
Person: Research Group Member, Academic, Teaching and Research
-
Christopher Birkbeck
- School of Engineering, Mathematics and Physics - Lecturer in Pure Mathematics
- Algebra, Number Theory, Logic, and Representations (ANTLR) - Member
Person: Research Group Member, Academic, Teaching and Research
-
Scalable theorem proving via mathematical databases
Birkbeck, C. (Principal Investigator)
1/07/25 → 30/09/27
Project: Research
-
2-representation Theory of SoergelBimodules
Miemietz, V. (Principal Investigator)
Engineering and Physical Sciences Research Council
1/05/25 → 31/10/28
Project: Research
-
Model Theory in the UK (MoTUK)
Gregory, L. (Principal Investigator)
Isaac Newton Institute for Mathematical Sciences
1/01/25 → 31/12/26
Project: Research
-
Discrete series representations of quaternionic GL(n,D) with symplectic periods
Matringe, N., Sécherre, V., Stevens, S. & Suzuki, M., 23 Jul 2026, (Accepted/In press) In: Journal für die reine und angewandte Mathematik (Crelles Journal).Research output: Contribution to journal › Article › peer-review
-
E-disjunctive inverse semigroups
Elliott, L., Levine, A. & Mitchell, J., 1 Feb 2026, In: Journal of Algebra. 687, p. 292-344 53 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile31 Downloads (Pure) -
Forcing axioms and the continuum problem: Hilbert's first problem revisited
Aspero, D. & Schindler, R., 13 Jul 2026, (E-pub ahead of print) Proceedings of the International Congress of Mathematicians 2026 - Volume 3: Invited Lectures (Sections 1-4). Friedlander, S. (ed.).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
Open AccessFile39 Downloads (Pure)
Activities
-
Y12 Explore Mathematics at University Day
Whittaker, R. (Organiser), Witty, G. (Organiser), Blyth, M. (Session organiser), Lyle, S. (Session organiser), Stevens, S. (Session organiser) & Hammerton, P. (Keynote/plenary speaker)
23 Jun 2026Activity: Participating in or organising an event › Schools engagement
-
Leeds Set Theory Seminar
Nichols, E. L. (Speaker)
27 May 2026Activity: Participating in or organising an event › Invited talk
-
Maths School Visit (Taverham Hight)
Whittaker, R. (Organiser), Blyth, M. (Keynote/plenary speaker) & Lyle, S. (Keynote/plenary speaker)
22 May 2026Activity: Participating in or organising an event › Schools engagement
Press/Media
-
Formalising Sphere packings in 8 dimensions
2/03/26 → 8/06/26
4 items of Media coverage
Press/Media: Media Coverage or Contribution