See News

Marcus Gerhold wins the Second 2019-2020 VERSEN PhD Thesis Award

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.
  • Timeliness.
  • 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