Erfolgreicher Abschluss des Promotionsver­fahrens von Dr. Žaneta Semanišinová

Am 30. April 2025 verteidigte Žaneta Semanišinová erfolgreich ihre Dissertation „Valued Constraint Satisfaction in Structures with an Oligomorphic Automorphism Group“. Valued Constraint Satisfaction Problems sind eine Verallgemeinerung von Constraint Satisfaction Problems, bei denen jede Bedingung mit Kosten verbunden ist, die von den gewählten Werten abhängen, und das Ziel darin besteht, eine Lösung mit minimalen Kosten zu finden. Žaneta absolvierte ihr Bachelor- und Masterstudium in Mathematik an der Karlsuniversität in Prag. Seit Oktober 2021 war sie Doktorandin an der TU Dresden unter der Leitung von Prof. Manuel Bodirsky, wo sie seit Mai 2023 Teil des ERC Synergy Grant POCOCOP war. Wir gratulieren Žaneta zum Erreichen dieses Meilensteins ihrer akademischen Karriere und wünschen ihr alles Gute für die Zukunft.