Prof. Dr.

Steffen Staab

Study Dean of Faculty 5
Institute for Formal Methods in Computer Science
Head of Algorithmics Group