ACP includes research groups that are particularly active in the following areas.
Choreographic programming is an award-winning programming paradigm offering a new level of abstraction: programmers can simply state the data communications that they wish a system to execute, and correct programs that implement these communications are automatically produced by a compiler tool.
The study of logical methods for reasoning about complex behaviour in concurrent and distributed systems.
Microservices are independently executable components that interact by means of well-defined APIs (Application Programming Interfaces).
We study how microservices can be designed, programmed, and deployed effectively and securely.
We study how the programming of quantum computers can be made accessible and scale up to the demands of modern software development, by creating new programming abstractions, languages, and frameworks.
Software engineering methods, tools and techniques for creating a collection of similar software systems from a shared set of software assets using a common means of production
Ensuring that the security implications of interacting with computer systems are accessible and understandable to human users.
Choreographies for Distributed Systems: Reasoning, Expressivity, and Development (CHORDS)
Period: 2024–2029
Type: European Research Council (ERC) Consolidator Grant
Size: ~2 million EUR (~15 million DKK)
Enhancing Digital Security Behaviour with Chatbots
Period: 2024–2027
Type: TrygFonden
Size: ~2.3 million DKK (~308k EUR)
Cyber Security and Business Continuity
Period: 2023–2026
Type: Industriens Fond (ACTION:CALL)
Size: ~8.5 million DKK (~1140k EUR)
X-IDF: Explainable Internet Data Flows
Period: 2023–2025
Type: Villum Foundation (Villum Synergy Project)
Size: ~3 million DKK (~400k EUR)
Rubber DUQ: Flexible Dynamic Universal Quantum programming
Period: 2024–2026
Type: UKRI Engineering and Physical Sciences Research Council (Standard research)
Size: ~9 million DKK (~1 million GBP)
DeCoRe: Tools and Methods for the Design and Coordination of Reactive Hybrid Systems
Period: 2022–2023
Type: Innovation Fund Denmark, DIREC (Digital Research Centre Denmark)
Size: ~2.3 million DKK (~300k EUR)
Choreographies for connected IT systems
Period: 01-08-2020–31-07-2025
Type: Villum Foundation (Villum Young Investigator Project)
Size: 7 million DKK (~1 million EUR)
Generic Microservices
Period: 01-08-2020–31-07-2023
Type: Independent Research Fund Denmark
Size: 2,341,440 DKK (~300k EUR)
Open Data Framework
Period: 01-02-2017–31-01-2019
Type: Max-Planck Odense Center, Species360, Odense Municipality, and University of Southern Denmark (Open Data Exploration strategic area)
Size: 4,164,000 DKK
Online Algorithms and Cheminformatics Meet Concurrency
Period: 01-07-2017–31-06-2020
Type: Independent Research Fund Denmark - Nature and Universe
Size: 1,382,962 DKK
Pseudoexon Risk Estimation Database and In silico Clinical Testing
Period: 01-02-2017–31-01-2019
Type: University of Southern Denmark (Open Data Exploration strategic area)
Size: 1,571,000 DKK
Evolving software systems: analysis and innovative approaches for smart management
Period: 01-07-2015–30-06-2018
Type: Croatian Science Foundation
Size: 594,300 HRK
Choreographies for Reliable and efficient Communication software
Period: 01-08-2014–31-07-2017
Type: Independent Research Fund Denmark - Technology and Production Sciences
Size: 2,431,030 DKK