Software technology for
learning and teaching
We develop technology that supports the development of software for learning, such as intelligent tutoring systems and serious games.
Our technology is used in environments for solving algebra exercises, learning programming, practicing communication skills, and more.
We focus on analysing student activities: determining which step a student has taken, and giving hints to a student.
Haskell Expression Evaluator
Imperative programming tutor
We use our technology in many projects. Below we give an incomplete list of our
In the Advise-me project (Automatic Diagnostics with Intermediate Steps in Mathematics Education) we develop technology for assessing steps taken by pupils in mathematics exercises.
In the Digital
support for university-level statistics courses project (in Dutch) we look
at developing support for several statistics courses at Utrecht University.
project we are developing a serious game for practicing communication skills.
Funded by a ‘NWO doctoral grant for teachers’, Hieke Keuning
is working on providing feedback in an interactive learning tools for
In the past we contributed to several European and Dutch projects, mainly for several mathematical domains, such as linear algebra and high school mathematics.
Through the years, many people have contributed to the Ideas project. At the moment the following people are involved:
Open University of the Netherlands & Utrecht University
Bastiaan is the core designer and developer of the ideas software.
Utrecht University & Open University of the Netherlands
Johan started with the Ideas project more than a decade ago. He is involved in many of the subprojects.
Open University of the Netherlands
For her PhD, Josje works on several tutors related to logic.
Windesheim University of Applied Sciences & Open University of the Netherlands
For her PhD, Hieke works on tutors for (imperative) programming.
Alex is the main architect of the functional programming tutor Ask-Elle.
Alejandro Serrano Mena
Alejandro works on Ask-Elle.
Our software is available on Hackage: ideas and ideas-math
We have created an online tutorial that explains how to create a domain reasoner using our software.
We have published many papers about our work, at conferences such as EC-TEL, ITiCSE, SIGSCE, and AIED, and in journals such as JAIED, Computers & Education, and Science of Computer Programming. Some of our main publications are:
Alex Gerdes, Bastiaan Heeren, Johan Jeuring, and Thomas van
Binsbergen. Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback, International
Journal of Artificial Intelligence in Education, 2017.
Hieke Keuning, Johan Jeuring, and Bastiaan Heeren.
Towards a Systematic Review of Automated Feedback Generation for Programming Exercises,
Conference on Innovation and Technology in Computer Science Education, 2016.
Josje Lodder, Bastiaan Heeren, and Johan Jeuring. A Domain Reasoner for Propositional Logic,
Journal of Universal Computer Science, 2016.
- Bastiaan Heeren and Johan Jeuring.
Feedback services for stepwise exercises, Science of Computer Programming, 2014.
- Bastiaan Heeren, Johan Jeuring, and Alex Gerdes. Specifying Rewrite Strategies for Interactive Exercises, Mathematics in Computer Science, 2010.
Consult the homepages of the people involved to obtain more publications.