Marcus Gerhold of the Formal Methods and Tools group (EEMCS), won the Second 2019-2020 VERSEN PhD Thesis Award with the thesis "Choice and Chance: Model-Based Testing of Stochastic Behaviour".
His thesis submission was judged based on the following criteria:
- Novelty to and impact in the field promoted by VERSEN.
- Quality of the thesis report and associated artifacts.
- Methodological approach and execution.
For more information see the VERSEN website: https://versen.nl/news_items/versen-phd-awards-2020.