Master Graduation Assignments
Suggestions for
research assignments (in Dutch)
for Master students of the Open University of the Netherlands.
Supervised Master's theses
- Ruben Steins, Logical shortcuts - Heuristic steps in logic tutoring systems, 2020, with Josje Lodder.
- Rob Smit, A domain-specific language for generating feedback in Intelligent Tutoring Systems, 2020,
with Johan Jeuring.
- Sander Kamps, Assessing the quality of evolving Haskell programs by measuring structural inequality, 2019,
with Johan Jeuring.
- Chung Kuah, Augmenting CBM to generate constraints and reflection-based feedback for logic errors in programming solutions, 2019,
with Johan Jeuring and Hieke Keuning.
- Niels Kolthof, ITS Authoring - Integrating a distributed expert knowledge module into existing authoring tools, 2019,
with Johan Jeuring and Sylvia Stuurman.
- Wendy Neijenhuis, Using Lemmas in an Intelligent Tutoring System for Axiomatic Derivation, 2018,
with Johan Jeuring and Josje Lodder.
- Johan Eikelboom, Towards lightweight student modelling for Functional Programming Tutors, 2017,
with Johan Jeuring and Lloyd Rutledge.
- Henrie Vos, Haskell Metamodel for Assessing Software Quality, 2017,
with Johan Jeuring and Sylvia Stuurman.
- Hugo Arends, Intelligent tutor to learn the evaluation of microcontroller I/O programming expressions, 2017,
with Johan Jeuring.
- Stéphane Thibaud, A domain reasoner for geometry exercises, 2017,
with Johan Jeuring.
- Gideon Teeuwen, Comparing architectural styles for distributed expert knowledge modules in intelligent tutoring systems, 2016,
with Johan Jeuring.
- Harm van den Hoven, Invloed van structuur en samenhang op de onderhoudbaarheid van Haskell programma's (in Dutch), 2015,
with Johan Jeuring.
- Hieke Keuning, Strategy-based feedback for imperative programming exercises, 2014,
with Johan Jeuring.
- Tim Olmer, Evaluation of Haskell expressions in a tutoring environment, 2014,
with Johan Jeuring.
- John Willems, Comparison of Data Preprocessing Techniques on Software Sources for Topic Modeling, 2014,
with Marko van Eekelen.
- Henk van de Ridder, Feasibility study of REA business patterns in a web oriented framework for business applications (in Dutch), 2010,
with Marko van Eekelen and Lex Bijlsma.
- Aad van den Berg, A Pre-Processing Method for Software Synthesis of Synchronous Dataflow Networks, 2009,
with Lex Bijlsma.
- Mark Ronkes, An Architecture for Searching Radio Signals - coordination of task and result sharing in the search process, 2008,
with Lex Bijlsma and Johan Jeuring.
- Sander Mak, Developing Interacting Domain Specific Languages, 2007,
with Doaitse Swierstra and Eelco Visser.
- Michiel Overeem, Dynamic Archive Management - A Framework for Dynamic Database Schemas, 2007,
with Doaitse Swierstra and Lennart Herlaar.
- Gerrit van den Geest, Constraints for Type Class Extensions, 2007,
with Doaitse Swierstra and Atze Dijkstra.
- Arjen Langebaerd, Repair Systems - Automatic Correction of Type Errors in Functional Programs, 2006,
with Jurriaan Hage.