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
Room: A 224
Phone: +49 228 73 4535
Fax: +49 228 73 4382
(please include a cover page)

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.

Teaching Overview

Research Focus:

Much of my research centers around functional programming languages, their semantics and applications. One area of particular interest to me currently is bidirectional transformations. I have a DFG-funded project for work on this topic.

One source of theoretical results I like to apply is parametricity (free theorems) for polymorphically typed languages. I had a two-phase DFG project on these topics as well.

More on Projects

I like talking about my research.

Recent Papers:

Some older publications of mine that others seem to like (to cite):

Full List of Publications

I am an active member of program committees:

I serve(d) as chair or co-chair of the program committees for:

I serve(d) on the program committees for,

I also helped putting together HaL4, HaL5, HaL6, HaL7, and HaL8, served on the external review committee for POPL'13, and co-organized CSXW'11.

I am a member of the steering committees for the Haskell Symposium series and the BX workshop series. I was a member of the steering committee for the PEPM workshop series from 2010 to 2012, serving as its chair from 2011 to 2012.

More on Activities

I like collaborating with other researchers, and have coauthored papers with:

Richard Bird, Jan Christiansen, Alcino Cunha, João Paulo Fernandes, Nate Foster, Jeremy Gibbons, Jürgen Giesl, 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.)

I also had the pleasure of serving as external on the PhD committees of some very fine candidates (and now PhD holders...):

My first "own" PhD student graduated in October 2013: Daniel Seidel.

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: