The list below shows examples of topics for master projects; click on the title to see a more detailed description. Even when you don’t find what you want you can contact one of our staff members. Typically they have additional interesting projects not explicitly listed.

• An ACO approach to parity games (supervisor: De Vink)
• Paradigm protocol verification (supervisor: De Vink)
• Probabilistic bisimulation (supervisor: De Vink)
• Solving decision problems using parameterised Boolean equation systems (supervisor: Neele/Willemse)
• Automata learning (supervisor: Zantema)
• Constraint solving for car components (supervisor: Zantema)
• Various industrial and/or theoretical explorations (supervisor: Groote)
• Optimizing cutting in poster printing (supervisor: Zantema)
• mCRL2 with shared variables (supervisor: Luttik/Willemse)
• Process algebra with signals (supervisor: Luttik)

Recently finished Master’s projects

• MSc Defence 10 December 10.00 - 10.45, 2019, MetaForum MF 6.131.
  Mark Frenken: Code Generation and Model-Based Testing in Context of OIL.
• MSc Defence 6 November 13.00 - 13.45, 2019, MetaForum MF 6.131.
  Sjef van Loo: Verifying SPLs using parity games expressing variability.
• MSc Defence 2 October 15.00 - 15.45, 2019, MetaForum MF 7.084.
  Stan Roelofs: Automatically proving equality of infinite sequences.
• MSc Defence 26 August 15.00 - 15.30, 2019, Atlas 2.215.
  Msc presentation Johri van Eerd.
• MSc Defence 12 August 14.00 - 14.45, 2019, MetaForum MF 6.131.
  Kevin Nogarede: An approachable language for formal requirements.

Examples of all  (master) projects since 2017 can be found here.