See News

Vincent Bloemen wins the third 2019-2020 VERSEN PhD Thesis award

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.
  • Timeliness.
  • Quality of the thesis report and associated artifacts.
  • Methodological approach and execution. 

For more information see the VERSEN website: