PhD students

  • Anna Stramaglia, MSc. Started 2020.
  • Alexander Fedotov, MSc. Started 2016, under my supervision since 2019.

MSc final projects

BSc final projects

  • Luuk Buit and Sefanja Severin. Graphical User Interface for Networks of Timed Automata.
  • Martijn van Beest. Parallel dfa minimisation. April 2014 – February 2015.

MSc seminars/internships

  • Sven van Valburg and Koen Buitenhuis. Eca2: A tool that implements the energy aware dependent type system. October 2015 – January 2016. Joint with Bernard van Gastel.
  • Kevin van der Pol. Applying Gauss Elimination from Boolean Equation Systems to Simple Integer Equation Systems. September 2011 – January 2012. Joint with Tim Willemse
  • Maarten van Dongen. Repository Mining on mCRL2*. October 2011 – January 2012. Joint with Alexander Serebrenik.