Bastiaan HeerenAssistant professor at the School of Computer Science of the Open University of the Netherlands. Programme leader of the Master Computer Science.
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 University, I was a lecturer and a PhD student at Utrecht University.
- IPA course on Software technology for learning and teaching (2015)
- Program Committee member of the Second Workshop on Haskell And Rewriting Techniques (HART 2014)
- Program Committee member of the Computer Science Education Research Conference (CSERC 2012, 2013, 2014)
- 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
Selected publicationsOr visit the full list of publications.
- Johan Jeuring, Frans Grosfeld, Bastiaan Heeren, Michiel Hulsbergen, Richta IJntema, Vincent Jonker, Nicole Mastenbroek, Maarten van der Smagt, Frank Wijmans, Majanne Wolters and Henk van Zeijts, Demo: Communicate! - a serious game for communication skills, EC-TEL 2015
- Josje Lodder, Bastiaan Heeren, Johan Jeuring, A pilot study of the use of LogEx, lessons learned, TTL 2015
- Hieke Keuning, Bastiaan Heeren, Johan Jeuring, Strategy-based feedback in a programming tutor, CSERC 2014
- Johan Jeuring, Thomas van Binsbergen, Alex Gerdes, Bastiaan Heeren, Model solutions and properties for diagnosing student programs in Ask-Elle, CSERC 2014
- Tim Olmer, Bastiaan Heeren, Johan Jeuring, Evaluating Haskell expressions in a tutoring environment, TFPIE 2014
- Bastiaan Heeren, Johan Jeuring, Feedback services for stepwise exercises, Science of Computer Programming, Volume 88, pp 110-129
- Johan Jeuring, Alex Gerdes, Bastiaan Heeren, A programming tutor for Haskell, CEFP 2011 (Springer 2012)
- 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
- Bastiaan Heeren, Jurriaan Hage, Type Class Directives, PADL 2005
- 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
At the Open University in the Netherlands, 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.
- Hieke Keuning, working on providing feedback in an interactive learning tools for imperative programming, funded by an NWO Doctoral Grant for Teachers
- Josje Lodder, working on the design and use of tools for teaching logic
- Sylvia Stuurman, Design for Change, 2015, with M.C.J.D. van Eekelen and H.J.M. Passier
- Alex Gerdes, Ask-Elle: a Haskell Tutor, 2012, with J.T. Jeuring
Supervised Master's theses
- Hieke Keuning, Strategy-based feedback for imperative programming exercises, 2014, with J.T. Jeuring.
- Tim Olmer, Evaluation of Haskell expressions in a tutoring environment, 2014, with J.T. Jeuring.
- John Willems, Comparison of Data Preprocessing Techniques on Software Sources for Topic Modeling, 2014, with M.C.J.D. van Eekelen.
- Henk van de Ridder, Feasibility study of REA business patterns in a web oriented framework for business applications (in Dutch), 2010, with M.C.J.D. van Eekelen and A. Bijlsma.
- Aad van den Berg, A Pre-Processing Method for Software Synthesis of Synchronous Dataflow Networks, 2009, with A. Bijlsma.
- Mark Ronkes, An Architecture for Searching Radio Signals - coordination of task and result sharing in the search process, 2008, with A. Bijlsma and J.T. Jeuring.
- Sander Mak, Developing Interacting Domain Specific Languages, 2007, with S.D. Swierstra and E. Visser.
- Michiel Overeem, Dynamic Archive Management - A Framework for Dynamic Database Schemas, 2007, with S.D. Swierstra and L. Herlaar.
- Gerrit van den Geest, Constraints for Type Class Extensions, 2007, with S.D. Swierstra and A. Dijkstra.
- Arjen Langebaerd, Repair Systems - Automatic Correction of Type Errors in Functional Programs, 2006, with J. Hage.
TeachingIn addition to supervising Bachelor and Master projects, I teach the following courses at the Open University:
ContactMy office is in the BBG 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.
|Phone:||+31 (30) 253 4255|
|Office:||Buys Ballotgebouw (BBG), office 572|