We are an interdisciplinary research group that strives to understand the nature and requirements of cooperative work in order to design collaborative computational artifacts and technologies.
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.