Staff of the Programming Systems Lab

Peter Van Roy, Konstantin Popov, Bärbel Hussung, Joachim Niehren.
Martin Müller, Ralf Scheidhauer, Gert Smolka, Jörg Würtz.
Michael Mehl, Ralf Treinen, Christian Schulte, Martin Henz.
(Tobias Müller, Joachim P. Walser, Denys Duchier)

Head

  • Gert Smolka

    • Researchers

  • Denys Duchier
  • Martin Henz
  • Michael Mehl
  • Martin Müller
  • Tobias Müller
  • Joachim Niehren
  • Konstantin Popov
  • Ralf Scheidhauer
  • Christian Schulte
  • Peter Van Roy
  • Joachim P. Walser
  • Jörg Würtz

  • Group Responsibilities

    • Secretary

  • Bärbel Hussung

    • Associates

  • Andreas Podelski (MPI).
  • Ralf Treinen (LRI).

    • Students

  • Kai Ibach
  • Frank Essig
  • Benjamin Lorenz
  • Stephan Reiter
  • Sven Schmeier
    • Michael Mehl,