Welcome to the Service and Software Engineering Group
Since October 2014, Dr. Paula Herber is the interim head of the Service and Software Engineering group. Dr. Paula Herber was previously appointed at TU Berlin. The previuos head of this group, Prof. Dr. Ing Tiziana Margaria-Steffen accepted a position at University of Limerick. Information about her former work at this group can be found -here-.
The research of the group focusses on software engineering. In particular, we consider the use of formal methods for the correct construction and analysis of complex software systems. Current research addresses verification and analysis techniques for embedded software and systems, and we investigate workflow and process modeling methodologies based on model-driven design and service orientation.
Who is who?