This was my homepage when I was at the University of Bonn (until October 2016). After a short time at the University of Nijmegen in Spring Term 2017, I moved to the University of Duisburg-Essen in April 2017. There is a new homepage there. Recent Teaching in Bonn (partly in German): Im Wintersemester 2015/16 hielt ich die Vorlesung Fortgeschrittene Funktionale Programmierung (Lehrevaluation) und g