Winners VERSEN PhD Thesis Award

2020

  • 1st place: dr. Wytse Oortwijn, University of Twente
    • Deductive techniques for model-based concurrency verification (pdf)
    • Supervisors: Prof. dr. Marieke Huisman
  • 2nd place: dr. Riemer van Rozen, University of Amsterdam
    • Languages of games and play: automating game design & enabling live programming (pdf)
    • Supervisors: Prof. dr. Paul Klint, Prof. dr. Tijs van der Storm
  • 3rd place - A: dr. Mauricio Cano, University of Groningen
    • Session-based concurrency: between operational and declarative views (pdf)
    • Supervisors: Dr. Jorge A. Perez, Prof. dr. Gerard Renardel
  • 3rd place - B: Gabriël Konat, TU Delft
    • Language-Parametric Methods for Developing Interactive Programming Systems (pdf)
    • Supervisors: Prof. dr. Eelco Visser, Prof. dr. S.T. Erdweg

2019

  • 1st place: dr. Moritz Beller, TU Delft
    • An Empirical Evaluation of Feedback-Driven Software Development (pdf)
    • Supervisors: Prof. dr. Andy Zaidman, Dr. Georgios Gousios, Prof. dr. Arie van Deursen
  • 2nd place: dr. Marcus Gerhold, University of Twente
    • Choice and Chance: Model-Based Testing of Stochastic Behaviour (pdf)
    • Supervisors: Prof. dr. Marielle Stoelinga, Prof. dr. Jaco van de Pol
  • 3rd place: dr. Vincent Bloemen, University of Twente
    • Strong Connectivity and Shortest Paths for Checking Models (pdf)
    • Supervisors: Prof. dr. Jaco van de Pol, Prof. dr. Wil van der Aalst

2018

  • 1st place: dr. Paul Fiterau Brostean, Radboud University Nijmegen
    • Active Model Learning for the Analysis of Network Protocols (pdf)
    • Supervisors: Prof. dr. Frits Vaandrager
  • 2nd place: Elvira Maria Arvanitou, University of Groningen
    • Proposing and Empirically Validating Change Impact Analysis Metrics (pdf)
    • Supervisors: Prof. dr. Paris Avgeriou
  • 3rd place: Garm Lucassen, Utrecht University
    • Understanding User Stories (pdf)
    • Supervisors: Dr. Fabiano Dalpiaz