Johan Jeuring 

Research | Publications | Teaching | Conferences | Where am I? | Contact

• Professor, Open University (10%), 2001 - ...
• Director of Education and Senior lecturer, Software Technology, Institute of Information and Computing Sciences, Utrecht University (90%), 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.

• 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 Educational Software. In particular, we are working on intelligent feedback in e-learning systems.

List of Publications

People

Roland Backhouse, Richard Bird, Jeremy Gibbons, Ralf Hinze, John Hughes, Graham Hutton, Patrik Jansson, Barry Jay, Mark Jones, Simon Peyton Jones, John Launchbury, Lambert Meertens, Erik Meijer, Oege de Moor, Alberto Pardo, Ross Paterson, Benjamin Pierce, Rinus Plasmeijer, Colin Runciman, Doaitse Swierstra, Tim Sheard, Phil Wadler, Stephanie Weirich

Research students

• Alex Gerdes, OU, PhD student
• Sean Leather, UU, PhD student
• José Pedro Magalhães, UU, PhD student
• Alexey Rodriguez Yakushev, UU, PhD student
• Martijn van Steenbergen, UU, MSc student
• Sylvia Stuurman OU, PhD student (and lecturer)

• 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
• 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
• 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

Courses

• Languages and Compilers (formerly called Grammars and parsing). Second year course at Utrecht University. November 2008 - February 2009.
• Generic Programming. Fourth/fifth year course at Utrecht University. April - July 2009.

MSc topics

• Member of the steering committee of NIOC 2009, the Dutch conference on teaching computer science, to be 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.
• Programme committee member of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, held in Tallinn in Estonia, 2005.
• Organiser of the datatype-generic programming workshop, held in Utrecht in August 2005.
• Programme committee member of the 9th Brazilian Symposium on Programming Languages, SBLP 2005, held in Recife in Brazil, 2005.

• 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

Here are my travel plans:

• 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.