Tom Biskup has received the Berthold Vöcking Master Award 2023 for his thesis “Invariant-based Strategy Synthesis for Nondeterministic Probabilistic Programs”. The thesis addresses the problem of making provably good decisions in face of stochastic uncertainty which is key in, e.g., complex planning tasks. Tom’s solution draws on well-known principles from deductive program verification such as […]
Christina Gehnen has received an award from the Fachgruppe Informatik at RWTH for her Bachelor’s thesis entitled “Automata-based Model Checking of Recursive Systems“. Congratulations!