Service and Software Engineering

Interim Professor: Dr. Thomas Göthel

Welcome to the Service and Software Engineering Group

Since October 2015, Dr. Thomas Göthel is the interim head of the Service and Software Engineering group. Dr. Thomas Göthel 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.


Current lectures.


Who is who?