Welcome to the website of the Section of Artificial Intelligence, Cybersecurity, and Programming Languages at the Department of Mathematics and Computer Science, University of Southern Denmark.

Our mission is to push the boundaries of what modern digital systems can do, by breaking new ground in and establishing synergies between the fields of artificial intelligence, cybersecurity, and programming technology. Computer systems, like data clouds and the Internet of Things, are getting increasingly larger and more complex, both in terms of software and hardware. We have crossed the limits of checking manually that computer programs do what they are supposed to do, and that they do so efficiently and securely.

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.

We are a diverse and international group, working together in the 3rd largest city in Denmark, Odense. We value our collaborations with each other and with many other academic, public, and industrial organisations and interest groups.

Featured News

The emergence of the digital economy has led to new cybersecurity challenges for Danish manufacturing companies. Small- and medium-sized manufacturers are particularly vulnerable to attacks such as ransomware, theft of intellectual property, and sabotage, and new research from SDU has shown low preparedness and lack of knowledge about cybersecurity in this sector.   To protect Danish manufacturers from these attacks, Industriens Fond has awarded SDU researchers 8,5 million DKK (~1.14 million EUR) for the project CyberSMV: Cyber Security and Business Continuity. The 2.5-year project is led by Professor Jan Stentoft and will involve ACP members Peter Mayer, Fabrizio Montesi, and Marco Peressotti as participants.

Our head of section Fabrizio Montesi has been awarded a Consolidator Grant by the European Research Council! The grant will disburse € 2 million over the next 5 years to investigate reasoning, expressivity, and development of choreographic programming for distributed systems. Read more about it here.

Congratulations Fabrizio!

New PhD Student

Aug 22, 2022

We are very excited to announce that Jonas Vistrup will be joining our section as a PhD student!

New Member

Apr 1, 2022

We are happy to welcome Narongrit Unwerawattana to our section, who will be working as a scientific software developer!

Latest News

ACP at POPL 2024

Jan 12, 2024

Assistant Professor Robin Kaarsgaard Sales will be attending POPL 2024 in London next week—come say hi! Robin is a coauthor of the paper “With a Few Square Roots, Quantum Computing Is as Easy as Pi”, which will be presented in the Quantum Computing track. A layperson’s summary of the paper is also available and has been featured in ACM’s showcase on Kudos.

Invited talks and appearances

  • Ruben Niederhagen gave an invited talk at PQCSM 2023 on the topic of code-based cryptography and participated in a panel discussion. PQCSM is an international workshop hosted in Taipei and affiliated with the IACR conference TCC.
  • Robin Kaarsgaard Sales gave an invited talks at RC 2023 and NCM 29 based on his paper “The Quantum Effect: A Recipe for Quantum Π”, which appeared at QPL 2023.
  • Dan Plyukhin appeared on the Elixir Wizards podcast to discuss the future of garbage collection in actor frameworks such as Akka and Erlang.

Accepted papers

In 2017, the US-American standardization agency NIST started a standardization process for the next generation of cryptographic schemes that are designed to withstand attacks aided by quantum computers. First cryptographic schemes have been selected in 2022 for standardization - but NIST has asked for the submission of additional digital signature schemes. As part of two international research groups, Ruben Niederhagen contributed to the two submissions: WAVE and MEDS. They are based on different mathematical constructions, but they both have the goal to provide secure digital signatures for a future world where an attacker might be equipped with a large and powerful quantum computer.

ACP at DisCoTec 2023

Jun 11, 2023

DisCoTec 2023 is coming up next week, and ACP members will be there! They will be presenting three accepted papers:

  • Reasoning about Choreographic Programs (COORDINATION 2023) by Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi and Marco Peressotti
  • JoT: A Jolie Framework for Testing Microservices (🏆 Winner of the best artifact award at COORDINATION 2023!) by Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher and Narongrit Unwerawattana
  • Certified Compilation of Choreographies with hacc (FORTE 2023) by Luís Cruz-Filipe, Lovro Lugović and Fabrizio Montesi

Hope to see you there!