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.
project we are developing a serious game for practicing communication skills.
Digital support for university-level statistics courses project (in Dutch) we look at developing support for several statistics courses at Utrecht University.
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.
Hugo Arends, Renate van der Bent, Thomas van Binsbergen, Eric Bouwers, Susan Brommer, Jordy van Dortmont, Marilou Dubbeld, Johan Eijkelboom, Marcell van Geest, Noeri Huisman, Niels Kolthoff, Jacco Krijnen, Ivica Milovanovic, Wendy Neijenhuis, Adolfo Ochagavía, Tim Olmer, Harrie Passier, Izak Perdijk, Bram Schuur, Alejandro Serrano Mena, Niels Steenbergen, Sylvia Stuurman, Sietske Tacoma, Peter van de Werken, Jurriën Stutterheim, Gideon Teeuwen, Stéphane Thibaud, Ferdinand van Walree, Jorn van Wijk, Wink van Zon
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.
A Systematic Review of Automated Feedback Generation for Programming Exercises,
ACM Transactions on Computing Education (TOCE), volume 19, issue 1, 2018.
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.