In our group, we develop theory and tools that support developers in the modelling, analysis, coordination, and programming of systems. We investigate methods that automate and optimise crucial steps of the development and deployment processes, enhancing their efficiency and reliability, and we build solutions and libraries that increase the security of systems.
Topics of Research
- Concurrency Theory
- Programming Languages
- Applied Logic
- Microservices
- Choreographic Programming
- DevOps
- Data Consistency
- Theorem Proving
Read more at concurrency.sdu.dk