Johan Jeuring
I'm a Professor of Software Technology at the School of Computer Science of the
Open University for 20% of my time, and the
director of education, member of the
educational management
team, and senior lecturer Software
Technology at the Institute of Information
and Computing Sciences of
Utrecht University
for 80% of my time.
I'm interested in developing advanced methods for constructing software, and in using software technology to support teaching and learning.
Research
Generic programming
Generic programs are programs that abstract over types. Generic
programs can be used to address several common programming
patterns.
- Currently we (Andres Löh, José Pedro Magalhães, and Sean Leather) are working on several aspects of generic programming: efficiency of generated code, applications of generic programming, generic programming libraries, etc. This work is funded by NWO (`Real-life Datatype Generic Programming'), and FTC, a portuguese funding agency.
- We have developed Generic Haskell. Generic Haskell is 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).
Teaching and Learning
The role of ICT in teaching and learning is increasing. We use advanced software
technology to develop better tools for teaching and learning.
- In the Math-Bridge project we add feedback services to ActiveMath, and we develop on-line math-bridging courses.
- In the NKBW project we add feedback services to several mathematical environments, such as the Digital Mathematical Environment of the Freudenthal Institute.
- Together with Alex Gerdes and Bastiaan Heeren I am working on providing feedback in interactive learning tools for programming.
- Our feedback services are connected to the version of the Digital Mathematical Environment used by the series of Dutch mathematics text books `Getal en Ruimte'.
My publications appear on a separate page.
Activities
- Programme committee member of the 14th Brazilian Symposium on Programming Languages, SBLP 2010, to be held in Salvador-Bahia, Brazil, 2010.
- 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.
- 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.
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.
Master theses
I have supervised more than 25 students working on their Master thesis through
the years. I welcome master students that want to work on a topic related to my
research interests.
Contact
-
Email:
johan@jeuring.net
johanj@cs.uu.nl -
Phone:
+31 30 2534115 work
+31 30 2711281 home
+31 6 40010053 mobile -
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.
Recent Updates
[1/2/2010] Our paper Comparing Libraries for Generic Programming in Haskell (together with Alexey Rodriguez Yakushev, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliviera.) got accepted for publication in the Journal of Functional Programming.
[15/1/2010] Our paper A lightweight approach to datatype-generic rewriting (together with Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Bastiaan Heeren, and José Pedro Magalhães) got accepted for publication in the Journal of Functional Programming.
[23/12/2009] Our paper Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization (together with Sean Leather and Andres Löh) got accepted for publication in the IFL postproceedings.
Virtual presence
Where am I?
- March 10 - 13, 2010, SIGCSE 2010, Milwaukee, US
- May 7 - 14, 2010, Göteborg, Sweden
- July 21 - August 11, 2010, holidays
- September 20 - 24, 2010, IFIP WG2.1 meeting, Atlantic City, NJ, US