Programming Languages and Compilers Group
The focus of research is program analyses that serve the purpose of understanding program code, recognizing and avoiding errors, and preserving the software architecture during maintenance. At present the research is geared towards the analysis of parallel software, above all towards the recognition of thread communication and possible synchronization errors (data races). Furthermore we work on the infrastructure of analysis tool suites and on guidelines for the prevention of vulnerabilities in software systems.
Software Quality and Architecture Group
The Software Quality and Architecture Group focuses on the development of high-quality software systems. In particular, we focus on methods to develop trustworthy software systems, i.e. performant, scalable, elastic, cost-efficient, reliable, safe, and mantainable ones. We research into methods and tools to verify these properties on system models at design time and methods and tools to enforce these properties at runtime. Our research targets applications in various domains, e.g., information systems, web-scale systems, IoT-systems, avionic systems, mechatronic systems or systems doing high-performance computing.
Software Engineering Group
The Software Engineering Research Group wants to deliver contributions to software engineering which are applicable to the real world and also used in the real world. At the same time we do not ask external partners to apply software engineering procedures we do not follow ourselves daily. Thus we are our own, not always successful, laboratory animals.