Two successful PhD thesis defenses at FORSYTE
Monday, Jun 24, 2024Petra 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!