Finitely Bounded Homogeneous Structures
Basic details
- Reference: BO 2470/8-1
- Project number: 680072
- Project title: Finitely bounded homogeneous structures (FinHom)
- Applicant: Manuel Bodirsky
- Affiliation: Institute of Algebra, TU Dresden
- Duration: 30 months (01.10.2022 - 31.03.2025)
Project description
The FinHom project investigated finitely constrained homogeneous structures in a wide range of applications in mathematics and theoretical computer science. One of the results of the project is a Surprising Connection where finitely constrained homogeneous structures are crucial to formulate resilience problems from database theory as valued constraint satisfaction problems (VCSPs) and then use techniques and results from VCSP research to determine the computational complexity of resilience problems.
Team members
- Prof. Dr. Manuel Bodirsky (PI)
- Colin Jahel, PhD (Project Postdoc)
- Žaneta Semanišinová, PhD (project doctoral student)
- Dr. Bertalan Bodor (cooperation partner; University of Szeged, then TU Vienna).
- Prof. Dr. Carsten Lutz (cooperation partner; initially University of Bremen, then University of Leipzig).
- Peter Jonsson (cooperation partner; Professor at the University of Linkoping
- Barnaby Martin (cooperation partner; professor at the University of Durham)
- Antoine Mottet (cooperation partner; assistant professor at the Technical University of Hamburg)
- Matthieu Joseph (cooperation partner; Universite Paris-Saclay)
- Edouard Bonnet (cooperation partner; CNRS researcher at the Laboratoire de l'Informatique du Parallelisme, Lyon)