Homepage

Janis Voigtländer, Jun.-Prof., Dr. rer. nat. habil.
Juniorprofessur Programmiersprachen

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:

Current Teaching (partly in German):

Im Wintersemester 2014/15 biete ich die Vorlesung Fortgeschrittene Funktionale Programmierung und gemeinsam mit Wissenschaftlern des FKIE das englischsprachige Seminar Verification of Complex Systems an.

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

Teaching Overview

Recent Papers:

Full 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: