Supervision

Current and past students

BSc final projects

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

MSc final projects

MSc seminars/internships