Two successful PhD thesis defenses at FORSYTE

Monday, Jun 24, 2024

Petra Hozzova successfully defended her PhD thesis "Inductive Reasoning in Superposition" and Marcel Moosbrugger also successfully defended his PhD thesis "Automated Analysis of Probabilistic Loops". Congratulations!