Research Groups

The research in the SDPS Section is organized in research groups and labs, which often also involves researchers from other sections. The groups focus on the foundations, technologies and methods for data management systems, distributed software and systems, performance programming, process modelling & intelligence, security & privacy, computer supported cooperative work and health IT. Details on the work, members and projects can be found at the web pages of the individual groups.

Decentralized Systems

We research and develop foundations, technology and applications of efficient and secure networked/distributed computer systems controlled by multiple independent principals. This includes blockchain and distributed ledger technology, event-driven architectures, large-scale transaction processing and analytics (Big Data), and more.

Software Engineering and Formal Methods

We investigate and promote the synergies of software engineering and formal methods for the behaviour and information of systems, humans, and society. Our research topics cover security and privacy, reactive and event-based systems, no-code and model-driven software engineering, dependable systems, and more.