Head of the Research Group Theoretical Computer Science
I am member of the Technologie-Zentrum Informatik TZI [Centre for Computing Technologies] as a member of the TZI branch Software analysis and transformation SAT, a partner in the interdisciplinary Bremen Research Cluster for Dynamics in Logistics LogDynamics, and a member of the Collaborative Research Centre 637 Autonomous Cooperating Logistic Processes - A Paradigm Shift and its Limitations.
Here you get only a list of links that may contain the one you are looking for:
Beside my scientific activities, I try to support the Forum Computer Scientists for Peace and Social Responsibility (FIfF) as best as I can.
For a more systematic presentation of my professional activities you are refered to Research Group Theoretical Computer Science.