Algorithms and logic for groups and dynamical systems (A26)

• Subject Area: Mathematics
• Term: since 2023
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 286237555

Automata groups form a fundamental class of groups, due to their striking properties (Burnside groups, groups of intermediate growth), their applicability (encoding of dynamical systems), and their accessibility to computation. This project will explore the decidability and complexity of these groups’ first order logic, using powerful tools from formal language theory, and will develop robust and well-integrated computer software to manipulate them.

• DFG Programme: CRC/Transregios
• Subproject of: TRR 195: Symbolic Tools in Mathematics and their Application
• Applicant Institution: Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
• Project Heads: Professor Dr. Laurent Bartholdi, until 3/2025; Professor Dr. Simon Brandhorst, since 4/2025