Homepage

Janis Voigtländer, Jun.-Prof., Dr. rer. nat. habil.
Juniorprofessur Programmiersprachen (position ends October 2016)

Address: University of Bonn
Institute for Computer Science
Department III
Römerstraße 164
D - 53117 Bonn
Germany
Room: A 224
Phone: +49 228 73 4535
Fax: +49 228 73 4382
(please include a cover page)
E-mail:

I'm a Haskeller
I'm on GitHub

Recent and Current Teaching Offers (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 organisiere 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: