Johan Jeuring

Professor, Open University (20%), 2001 - ...
Director of Education, member of the educational management team, and Senior lecturer, Software Technology, Institute of Information and Computing Sciences, Utrecht University (80%), 1998 - ...

Formerly:

Senior Software Engineer, Baan Research and Development, Ede, the Netherlands, 1997 - 1998.
Lecturer and Postdoc, Computing Science Department, Chalmers University of Technology, Göteborg, Sweden, 1994-1997.
Lecturer, Institute of Information and Computing Sciences, Utrecht University, 1992-1993.
PhD student, CWI, Amsterdam, 1988-1991.
Master's student, Groningen University, 1983-1987.

Research

I am involved in several research projects:

Generic programming. We have developed Generic Haskell. Generic Haskell an extension of the functional programming language Haskell, with which programs that work for large classes of datatypes can be written. Generic haskell is a sequel to PolyP (see Patrik Jansson's page about polytypic programming). Currently we are working on several aspects of generic programming, such as testing, type inference, generic programming libraries, etc.
At Utrecht University and the Open University we are working on Software Technology for Teaching and Learning. In particular, we are working on intelligent feedback in e-learning systems.

List of Publications

My list of publications, and links to some of my papers can be found here.

Research students

Alex Gerdes, OU, PhD student
Erik Hesselink, UU, MSc student
Sean Leather, UU, PhD student
José Pedro Magalhães, UU, PhD student
Martijn van Steenbergen, UU, MSc student

Former research students:

Staffan Björk, Chalmers, MSc (1997): Parsers, Pretty Printers and PolyP
Eric Bouwers, UU, MSc (2007): Improving Automated Feedback - Building a Generic Rule-Feedback Generator
Marilou Dubbeld, UU, MSc CS Teaching and Education (2009): Construction of domain reasoners for mathematics
Paul Hagg, UU, MSc (2002): A framework for developing generic XML tools
Joost Halenbeek, UU, MSc (1998): Comparing Approaches to Polytypic Programming
Bastiaan Heeren, UU, MSc (2000): Improving type-error messages in functional languages
Stefan Holdermans, UU, MSc (2005): Generic Views
Patrik Jansson, Chalmers, MSc (1995): Polytypism and polytypic unification, Lic (1997): Functional Polytypic Programming - Use and Implementation, PhD (2000): Functional Polytypic Programming
Andres Löh, UU, PhD (2004): Exploring Generic Haskell
Thomas van Noort, UU, MSc (2008): Generic Views for generic Types
Alexey Rodriguez Yakushev, UU, PhD (2009): Towards Getting Generic Programming Ready for Prime Time
Jan-Willem Roorda, UU, MSc (2000): Pure Type Systems for Functional Programming
Martijn Schrage, UU, PhD (2004): Proxima: a presentation-oriented editor for structured documents
Danny van Velzen, UU, MSc (2001) An XSLT implementation in Haskell.
Jan de Wit, UU, MSc (2002) A technical overview of Generic Haskell

At the Open University I have supervised another 15 MSc students. Their names and theses can be found on the OU site (for which you need a login and a password).

Teaching

Courses

In the academic year 2009-2010 I teach the course:

Seminar Software technology for teaching and learning Second year master course Software technology at Utrecht University. September 2009 - November 2009.

MSc topics

You can find a number of suggestions for topics on which you can write your MSc thesis on the nomepage of the Software Technology group. Besides these topics, it is always possible to write a thesis on topics that lie within my current research, such as generic programming, type systems, exercise assistants, e-learning tools, etc. I supervised the Master's theses of about 25 students, most of them appear under former research students above.

Conferences and other Meetings

Programme committee member of the 10th International Conference on Mathematics of Program Construction, MPC 2010 to be held in Canada, 2010.
Programme committee member of the 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010 , to be held on Cyprus, 2010.

In the recent past:

Programme committee member of the Approaches and Applications of Inductive Programming 2009, held in conjunction with the 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009) in Edinburgh, Scotland.
Programme committee member of the 13th Brazilian Symposium on Programming Languages, SBLP 2009, held in Gramado, Brazil, 2009.
Programme committee member of the 10th Symposium on Trends in Functional Programming, TFP 2009, held in Slovakia, 2009.
Member of the steering committee of NIOC 2009, the Dutch conference on teaching computer science, held in Utrecht in 2009.
Programme committee member of the 9th International Conference on Mathematics of Program Construction, MPC 2008 held in France, 2008.
Programme committee member of the 12th Brazilian Symposium on Programming Languages, SBLP 2008, held in Brazil, 2008.
Lecturer at the 6th International Summer school on Advanced Functional Programming, AFP 2008 held in the Netherlands, 2008.
Programme committee member of the 9th Symposium on Trends in Functional Programming, TFP 2008, held in the Netherlands, 2008.
Organiser of the Dutch Functioneel Programmeren dag 2008, 2008.
ICFP Programming Contest Chair, 2007.
Programme committee member of the 7th Workshop on Language Descriptions, Tools and Applications, LDTA 2007, held in Braga, Portugal, April 2007.
Programme committee member of the 11th Brazilian Symposium on Programming Languages, SBLP 2007, held in Natal, Brazil, 2007.
Programme committee member of the ACM SIGPLAN Workshop on Generic Programming 2006, WGP 2006, held in Portland, Oregon, 16th September 2006.
Programme committee member of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia, July 2006.
Lecturer at the Spring School on Datatype-Generic Programming 2006, held in Nottingham, April 2006.
Programme committee member of the 7th Symposium on Trends in Functional Programming, TFP 2006, held in Nottingham, April 2006.
Programme committee member of the 10th Brazilian Symposium on Programming Languages, SBLP 2006, held in Itatiaia, Brazil, 2006.
Programme committee member of the 6th Workshop on Language Descriptions, Tools and Applications, LDTA 2006, held in Vienna, Austria, April 2006.

Pictures

Together with IFIP WG2.1 people at Sans Souci (Potsdam, 1999).
Proxima meeting in Norg, June 2000.
Speech at the banquet at AFP2002 in Oxford

Where am I?

Here are my travel plans:

December 24, 2009 - January 1, 2010	Christmas and New Year
January 25 - January 29, 2010	IFIP WG2.1 meeting, Portugal

Contact

Email: johan@jeuring.net or johanj@cs.uu.nl
Phone: work (Utrecht) +31 30 2534115, home +31 30 2711281, mobile +31 6 40010053
Fax: +31 30 2513791
Room: Centrum Gebouw Noord (CGN), B121

If you are an Indian student looking for a summer-internship, please have a look at our faq first, before you contact me.

Fax, Postal address, etc.

( To Utrecht CS Dept. Welcome page.)