My name is Slinger Jansen, I'm from Utrecht University and I am todays representative for
the VERSEN PhD Thesis Awards jury.
The jury is composed of three members
Prof. dr Patricia Lago,  Prof. dr Jan Friso Groote and myself.
So with no further ado. Here are the Three winners.
I'm very honoured to receive this price
for my thesis called
'Strong Connectivity and Shortest Paths for Checking Models'. Here I investigate fairly basic
cross search on rhythms and apply and improve them in the context of formal verification.
I would like to especially thank my supervisors
Prof. Van de Pol and Van der Aalst
Hello everyone, I feel honoured to have
been awarded the second prize
in the PhD thesis award ceremony at VERSEN for my PhD thesis titled Choice and Chance:
Model-Based Testing of Stochastic Behaviour.
In my thesis I developed a rigorous model-based testing framework
to test systems with probabilistic behaviour.
I would like to express my
gratitude towards my supervisors
Jaco van de Pol and Marielle Stoelinga as wel all my colleagues
at the Formal Methods and Tools Group at the University of Twente.
Thank you everyone.
Receiving the first price of the VERSEN
PhD thesis award 2020
is an enormous honour for me.
Thank you to all my collaborators from TU Delft and outside who made it possible.
Especially to my advisors Andy Zaidman and Georgios Gousios.
The master students I have the privilege of working with: Radjino Bholanath, Igor Levaja and Niels Spruit.
While I am happy to be receiving the prize money
I find it extremely important that
we act together and support each other.
This is why I've donated my price to the
COVID-19
Solidarity Response Fundraiser of the World Health Organization.
