Bastiaan Heeren Assistant professor at the School of Computer Science of the Open Universiteit in the Netherlands. I am a member of the Software Technology group and teach various courses in the Software Engineering Master's program. My research interests are functional programming languages in education, type systems, and advanced software technology concepts to support teaching and learning. Before I joined the Open Universiteit, I was a lecturer and a PhD student at Universiteit Utrecht.

Activities

• Program Committee member of the Computer Science Education Research Conference (CSERC 2012, CSERC 2013)
• Program Committee member of the Symposium on Implementation and Application of Functional Languages 2010
• Program Committee member of the Haskell Symposium 2009
• Co-organizer of the Tenth ICFP programming contest (see the contest presentation in Freiburg, October 2007)
• Program Committee member of the International Conference on Functional Programming (ICFP) 2007
• Program Committee member of the 2006 Haskell Workshop

Publications

A list of my Technical Reports can be found here.

2012

• Johan Jeuring, Bastiaan Heeren, Feedback genereren in leeromgevingen voor algebra (in Dutch), Nieuw Archief voor Wiskunde, 5/13(4), 2012
• Sylvia Stuurman, Marko van Eekelen, Bastiaan Heeren, A new method for sustainable development of open educational resources, CSERC'12
• Johan Jeuring, Alex Gerdes, Bastiaan Heeren, Ask-Elle: A Haskell tutor (Demonstration), EC-TEL 2012
• Alex Gerdes, Bastiaan Heeren, Johan Jeuring, Teachers and students in charge, Using annotated model solutions in a functional programming tutor, EC-TEL 2012
• Alex Gerdes, Johan Jeuring, Bastiaan Heeren, An interactive functional programming tutor, ITICSE 2012
• Johan Jeuring, Alex Gerdes, Bastiaan Heeren, A programming tutor for Haskell, CEFP 2011 (Springer 2012)

2011

• Bastiaan Heeren, Johan Jeuring, Interleaving Strategies, MKM 2011
• Harrie Passier, Bastiaan Heeren, Modeling XML Content Explained, IAR 2011
• Josje Lodder, Bastiaan Heeren, A Teaching Tool for Proving Equivalences between Logical Formulae, TICTTL 2011
• Alex Gerdes, Bastiaan Heeren, Johan Jeuring, Properties of Exercise Strategies, IWS2010

2010

• Bastiaan Heeren, Johan Jeuring, Adapting Mathematical Domain Reasoners, MKM 2010
• Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães, A lightweight approach to datatype-generic rewriting, Journal of Functional Programming, 2010
• Alex Gerdes, Johan Jeuring, Bastiaan Heeren, Using Strategies for Assessment of Programming Exercises, SIGCSE 2010
• Bastiaan Heeren, Johan Jeuring, Alex Gerdes, Specifying Rewrite Strategies for Interactive Exercises, Mathematics in Computer Science, Volume 3, Number 3 / May, 2010

2009

• Johan Jeuring, Bastiaan Heeren, An interactive exercise player for Math-Bridge, Student Mobility and ICT
• Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren, Generic Programming for Domain Reasoners, TFP 2009
• Bastiaan Heeren, Johan Jeuring, Canonical Forms in Interactive Exercise Assistants, MKM 2009
• Alex Gerdes, Bastiaan Heeren, Johan Jeuring, Constructing Strategies for Programming, CSEDU 2009
• Bastiaan Heeren, Sylvia Stuurman, Software architectuur in het afstandsonderwijs (in Dutch), presented at NIOC 2009

2008

• Hans Cuypers, Gemma Corbalan, Bastiaan Heeren, Erik Jansen, Johan Jeuring, Jan Willem Knopper, Josje Lodder, Rick van der Meiden, Wouter Pasman, Intelligente feedback in e-learning (in Dutch), TINFON, 2008
• Alex Gerdes, Bastiaan Heeren, Johan Jeuring, Sylvia Stuurman, Feedback Services for Exercise Assistants, Proceedings of the 7th European Conference on e-Learning, 2008
• Jurriaan Hage, Bastiaan Heeren, Strategies for solving constraints in type and effect systems, VODCA 2008
• Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, A Lightweight Approach to Datatype-Generic Rewriting, WGP 2008
• Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie, Report on the Tenth ICFP Programming Contest, ICFP 2008
• Bastiaan Heeren, Johan Jeuring, Recognizing Strategies, WRS 2008
• Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes Specifying Strategies for Exercises, MKM 2008

2006

• Jurriaan Hage, Bastiaan Heeren, Heuristics for type error discovery and recovery, IFL 2006

2005

• Bastiaan Heeren, Top Quality Type Error Messages, PhD thesis, Utrecht University
• Bastiaan Heeren, Jurriaan Hage, Type Class Directives, PADL 2005

2004

• Bastiaan Heeren, Daan Leijen, Gebruiksvriendelijke compiler voor het onderwijs (in Dutch), Informatie, 46(8)
• Bastiaan Heeren, Daan Leijen, Functioneel Programmeren met Helium (in Dutch), NIOC 2004

2003

• Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra, Scripting the Type Inference Process, ICFP 2003
• Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn, Helium, for Learning Haskell, Haskell Workshop 2003
• Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra, Constraint Based Type Inferencing in Helium, Workshop on Immediate Applications of Constraint Programming 2003

2002

• Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra, Generalizing Hindley-Milner Type Inference Algorithms, Technical Report, Utrecht University
• Bastiaan Heeren, Johan Jeuring, S. Doaitse Swierstra, Pablo Azero Alcocer, Improving type-error messages in functional languages, Technical Report, Utrecht University

Research

At the Open Universiteit Nederland, we have started the Ideas project (Intelligent Domain-specific Exercise Assistants), which aims at developing tools for incrementally solving exercises. Our research focus is on strategies for exercises, which guide the reasoning in a particular domain. The software is written in Haskell and can be found on Hackage.

I am also interested in improving the quality of type error messages for higher-order, functional programming languages (such as Haskell). For this purpose, we have designed the TOP framework for constraint-based type inference, which is used in the Helium Compiler. A detailed description of this framework is given in my PhD thesis.

Teaching

In addition to supervising Bachelor and Master projects, I teach the following courses at the Open Universiteit:

Research Students

Supervised Master's theses:

• Henk van de Ridder. Feasibility study of REA business patterns in a web oriented framework for business applications (in Dutch)
  Co-supervisor, Marko van Eekelen and Lex Bijlsma
• Aad van den Berg. A Pre-Processing Method for Software Synthesis of Synchronous Dataflow Networks [pdf]
  Co-supervisor, Johan Jeuring.
• Mark Ronkes. An Architecture for Searching Radio Signals - coordination of task and result sharing in the search process [pdf]
  Co-supervisor, Johan Jeuring.
• Sander Mak. Developing Interacting Domain Specific Languages [pdf]
  Co-supervisor, Eelco Visser.
• Michiel Overeem. Dynamic Archive Management - A Framework for Dynamic Database Schemas [pdf]
  Co-supervisor, Lennart Herlaar.
• Gerrit van den Geest. Constraints for Type Class Extensions [pdf]
  Co-supervisor, Atze Dijkstra.
• Arjen Langebaerd. Repair Systems - Automatic Correction of Type Errors in Functional Programs [pdf]
  Co-supervisor, Jurriaan Hage.

Contact

My office is in the BBL building at De Uithof, Utrecht. Click here for a detailed description how to reach my office, or see my former staff page for further contact information.