Our group has expertise covering a broad range of topics concerning software construction and analysis.
We do research on:
An explicit aim is to bridge the gap between theory and practice through collaboration with stakeholders from industry and other application areas and to understand in what way the developed methods can contribute to solving real-world problems using the "Industry-as-a-Lab" approach. In particular, we apply our methods and techniques to cyber-physical systems in joint projects with industrial partners.