Vincent Bloemen of the Formal Methods and Tools group (EEMCS), won the Third 2019-2020 VERSEN PhD Thesis Award with the thesis "Strong Connectivity and Shortest Paths for Checking Models".
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.