Anne Remke PhD defense

On Friday June 20, Anne Remke has successfully completed her PhD, defending the thesis “Model Checking Structured Infinite Markov Chains”.

Congratulations!