This was my homepage when I was at the University of Bonn (until October 2016). I am currently at the University of Nijmegen. There, I teach the Software Engineering part of GiPHouse in Spring Term 2017.
|I'm on GitHub|
Recent Teaching in Bonn (partly in German):
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.)