Design Projects

This webpage holds a list of available, in progress and completed Design projects at FMT. If you are interested in carrying out a design project at the FMT group, please contact dr. Marieke Huisman, the study advisor of FMT.


Graph Animation ( A. Rensink)
Graphical Modelling of Dynamic Fault Trees (D. Guck, Prof.dr. M.I.A. Stoelinga, Dr. E.J.J. Ruijters)
A (web browser-)window on the world of safety and reliability (dr. S. Schivo, Prof.dr. M.I.A. Stoelinga)
A Testing Framework for a Tool Set for Program Verification (prof.dr. M. Huisman, W.H.M. Oortwijn)
Better Code in Programming Class (dr. A. Fehnker)
Create a VerCors plugin for VSCode (prof.dr. M. Huisman)


No projects to show.


Remco de Man, Lukas Miedema, Ömer Şakar, Melcher Stikkelorum - Quiz Application (April 2017)
Ron van Bree, Lindsay Kemper, Sven Konings, Hans van der Laan, Pim van Leeuwen - Graphter Effects (April 2017)
Erik Kemp, Eva van den Eijnden, Jip Spel, Twan Coenraad - Wat een Les (June 2015)
Alexander Drechsel, Sander Vlutters, Stanley Huang, Henley Ding, Jeffrey Steen - OV Pong (January 2014)