People

Head

• Prof. Dr. Andreas Podelski

Researchers

• Stephan Arlt
• Bruno Berstel
• Evren Ermis
• Dr. Harald Fecher
• Dr. Jochen Hoenicke
• Alexander Malkis
• Stefan Maus
• Martin Mehlmann
• Corina Mitrohin
• Dr. Andrey Rybalchenko
• Martin Schäf
• Nassim Seghir
• Silke Wagner
• Martin Wehrle
• Thomas Wies

Secretary

• Marlis Jost
• Berit Brauer

System Administration

• Martin Preen

Student Assistants

• Justus Bisser
• Daniel Dietsch
• Matthias Heizmann
• Sergiy Bogomolov
• Sergio A. Feo
• Dominik Debre