PhD defence of Anja Kolesnichenko

Anja Kolesnichenko, a PhD candidate from the DACS research group, supervised by Dr.Anne Remke, Prof.dr.ir.Boudewijn Haverkort and Dr.ir.Pieter-Tjerk de Boer will defend her thesis on December 17th with the title ”Model-Checking Mean-Field Models: Algorithms and Applications”.

Good luck Anja…