Service and Software Engineering

Interim Professor: Dr. Paula Herber

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-.

Research

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.

Teaching

Current lectures.

Staff

Who is who?