Prof. Dr.
Study Dean of Faculty 5Institute for Formal Methods in Computer ScienceHead of Algorithmics Group
70563 Stuttgart Germany