Projects per year
Collaborations and top research areas from the last five years
Profiles
-
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 & Research
-
Rose Berry
- Faculty of Science - Associate Tutor
- School of Engineering, Mathematics and Physics
- Algebra, Number Theory, Logic, and Representations (ANTLR) - Member
Person: Research Group Member, Degree of Doctor of Philosophy, Associate Tutor
-
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 & Research
-
2-representation Theory of SoergelBimodules
Engineering and Physical Sciences Research Council
1/02/25 → 31/07/28
Project: Research
-
Model Theory in the UK (MoTUK)
Isaac Newton Institute for Mathematical Sciences
1/01/25 → 31/12/26
Project: Research
-
Model Theory of Differential Fields - winter meeting
London Mathematical Society (The)
1/12/24 → 31/07/25
Project: Research
-
Algebraic types in Zilber's exponential field
Aslanyan, V. & Kirby, J., Jan 2025, In: Model Theory. 4, 1, p. 37-58 22 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Effective equation solving, constraints and growth in virtually abelian groups
Ciobanu, L., Evetts, A. & Levine, A., 10 Mar 2025, In: SIAM Journal on Applied Algebra and Geometry. 9, 1, p. 235-260 26 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Maximal subgroups of finitely presented special inverse monoids
Gray, R. & Kambites, M., 7 Jan 2025, (E-pub ahead of print) In: Journal of the European Mathematical Society.Research output: Contribution to journal › Article › peer-review
Open AccessFile
Activities
-
28th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) 2025
Laure Daviaud (Member of programme committee)
2025Activity: Participating in or organising an event › Participation in conference
-
33nd EACSL Annual Conference on Computer Science Logic (CSL) 2025
Laure Daviaud (Member of programme committee)
2025Activity: Participating in or organising an event › Participation in conference
-
Highlights of Logic, Games and Automata
Laure Daviaud (Invited speaker)
16 Sept 2024 → 20 Sept 2024Activity: Participating in or organising an event › Invited talk