Johan Jeuring 

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

• Professor, Open University (30%), 2001 - ...
• Senior lecturer, Software Technology, Institute of Information and Computing Sciences, Utrecht University (70%), 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 Haskell. The goal of this project is to develop 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). This work is based on ideas from Ralf Hinze.
• Proxima. The goal of this project is to develop a single presentation-oriented generic editor for all kinds of XML-documents and presentations.
• At the Open University we are working on Software Technology for Educational Software.

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

• Frank Atanassow, UU, PhD student
• Alexey Rodriguez Yakushev, UU, PhD student
• Harrie Passier, OU, PhD student (and lecturer)
• Sylvia Stuurman OU, PhD student (and lecturer)

• Staffan Björk, Chalmers, MSc (1997): Parsers, Pretty Printers and PolyP
• 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
• 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

• Implementation of Programming Languages. Fourth year course at Utrecht University. November 2005 - February 2006.
• Generic Programming. Fourth/fifth year course at Utrecht University. April - July 2006.

• Generic Programming. Fourth/fifth year course at Utrecht University. September - November 2004.
• Seminar on Editing structured documents and XML. Fourth/fifth year seminar course at Utrecht University. November 2004 - January 2005.

Afstuderen

• Programme committee member of the 8th International Conference on Mathematics of Program Construction, to be held in Kuressaare, Estonia, July 2006.
• Programme committee member of the 7th Symposium on Trends in Functional Programming, TFP 2006, to be held in Nottingham, April 2006.
• Programme committee member of the 6th Workshop on Language Descriptions, Tools and Applications, LDTA 2006, to be held in Vienna, Austria, April 2006.
• Programme committee member of the 10th Brazilian Symposium on Programming Languages, SBLP 2006, to be held in Itatiaia, Brazil, 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, held in Recife in Brazil, 2005.
• Programme committee member of NIOC 2004, the Dutch conference on teaching Computer Science, held in Groningen in November 2004.
• Programme committee member of the 7th International Conference on Mathematics of Program Construction, held in Stirling in July 2004.
• Programme committee member of the 8th Brazilian Symposium on Programming Languages, held in Rio de Janeiro in Brazil, 2004.
• Invited speaker at the The Second Workshop on Programmable Structured Documents, Hakone, Japan, 2004.
• Lecturer at the IPA Falldays, November 2003.
• Programme chair of the Haskell Workshop 2003, held in Uppsala, Sweden.
• Invited speaker at the 7th Brazilian Symposium on Programming Languages, Ouro Preto, Brazil, 2003.
• Organiser of the fourth Summer School on Advanced Functional Programming, held in Oxford in August 2002.
• Lecturer at the Summer school on Generic Programming, held in Oxford in August 2002.
• Co-chair and organisor of the IFIP WG2.1 Working Conference on Generic Programming, held in Dagstuhl, Germany in July 2002.
• Programme committee member of the Haskell Workshop, HW2002, held in Pittsburgh in October 2002.
• Programme committee member of the 6th Mathematics of Program Construction Conference, MPC2002, held in Dagstuhl, Germany in July 2002.

• 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, (Heerlen, Tuesday) +31 45 5762357, home +31 30 2711281, mobile +31 6 40010053
• Fax: +31 30 2513791
• Room: Centrum Gebouw Noord, B021