Homepage

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 gemeinsam mit FKIE das englischsprachige Seminar Verification of Complex Systems.

Im Sommersemester 2016 biete ich wieder meine populäre Vorlesung Deskriptive Programmierung an.

Außerdem organisierte ich regelmäßig als Veranstaltung für SchülerInnen die Bonner Hochschultage der Informatik (2015, 2014, 2013, 2012, 2011, 2010).

Teaching Overview

List of Publications

My Coauthors:

Richard Bird, Jan Christiansen, Alcino Cunha, João Paulo Fernandes, Nate Foster, Jeremy Gibbons, Jürgen Giesl, Tobias Gödderz, Helmut Grohne, Zhenjiang Hu, Patricia Johann, Armin Kühnemann, Andres Löh, Nuno Macedo, Kazutaka Matsuda, Stefan Mehner, Hugo Pacheco, João Saraiva, Tom Schrijvers, Daniel Seidel, Alex Simpson, Florian Stenger, Lutz Straßburger, Meng Wang

(My Erdös number is at most 4.)

Some organizations I am associated with (mainly as corrector in math competitions):

MO e.V. eLeMeNTe e.V. Bundeswettbewerb Mathematik

Also, I am a member of: