Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Johan Jeuring

Johan Jeuring

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.

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 Educational Software. In particular, we are working on intelligent feedback in e-learning systems. Some of this work is done in the context of the Surf-project on intelligent feedback.

List of Publications

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

People

I find the following webpages useful in my work:

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

Eric Bouwers, UU, MSc student
Thomas van Noort, UU, MSc student
Alexey Rodriguez Yakushev, UU, PhD student
Sylvia Stuurman OU, PhD student (and lecturer)

Former research students:

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

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

Teaching

Courses

This academic year I teach the following courses:

Grammars and parsing. Second year course at Utrecht University. November 2007 - February 2008.
Generic Programming. Fourth/fifth year course at Utrecht University. April - July 2008.

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 and Generic Haskell, XML tools and generic programming, type systems, editors, exercise assistants, e-learning tools, etc. I supervised the Master's theses of about ten students, they appear under former research students above.

Conferences and other Meetings

Organiser of the Dutch Functioneel Programmeren dag 2008, 2008.
ICFP Programming Contest Chair, 2007.

In the recent past:

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, held in Portland, Oregon, 16th September 2006.
Programme committee member of the 8th International Conference on Mathematics of Program Construction, 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, held in Recife in Brazil, 2005.

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?

On Tuesdays I am usually at the Open University in Heerlen. On Monday, Wednesday and Friday I am in Utrecht, on Thursday I am in Utrecht until 14:30.

Here are my travel plans:

September 10 - 14, 2007	IFIP WG2.1 meeting, Kyoto, Japan
September 30 - October 3, 2007	ICFP, Haskell Workshop, Freiburg, Germany
November 28 - 30, 2007	Online Educa Berlin, Berlin, Germany

Contact

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 (CGN), B121

Fax, Postal address, etc.

( To Utrecht CS Dept. Welcome page.)