Saturday 20 December 2008
On Friday June 20, Anne Remke has successfully completed her PhD, defending the thesis “Model Checking Structured Infinite Markov Chains”.
Congratulations!
More recent news
Fri 13 Jun 2025The UT Challenge 2025 Grand Finale: A Resounding Succes
Thu 12 Jun 2025TechMed Magazine 2025 is out now!
Tue 10 Jun 2025UT Challenge 2025 Grand Finale
Thu 5 Jun 2025New seismometer system for real-time monitoring in the North Sea
Mon 2 Jun 2025UT initiative 'CLEAR' nominated for Dutch Education Award