Software Engineering and Programming Languages

The Software Technologies Research Group focusses on mathematical techniques for the specification, modelling and analysis of complex and frequently embedded and concurrent software systems. The focus lies on modern methods and tools for requirements engineering, model-driven software development and software verification.

Current and recent research topics: