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
Cyber Security and Business Continuity
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.
Fabrizio Montesi Receives the ERC Consolidator Grant
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
We are very excited to announce that Jonas Vistrup will be joining our section as a PhD student!
New Member
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
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.
ACP Highlights - December 2023
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
- Peter Mayer, Yixin Zou, Byron M Lowens, Hunter A Dyer, Khue Le, Florian Schaub, Adam J Aviv: Awareness, Intention, (In)Action: Individuals’ Reactions to Data Breaches at TOCHI 2023
- Luís Cruz-Filipe, Fabrizio Montesi, and Marco Peressotti: A Formal Theory of Choreographic Programming in the Journal of Automated Reasoning (2023)
- Luís Cruz-Filipe and Fabrizio Montesi: Now It Compiles! Certified Automatic Repair of Uncompilable Protocols at ITP 2023
- Luís Cruz-Filipe, Eva Graversen, Lovro Lugović, Fabrizio Montesi, and Marco Peressotti: Modular Compilation for Higher-order Functional Choreographies at ECOOP 2023
- Luís Cruz-Filipe, Fabrizio Montesi, and Robert R. Rasmussen: Keep me out of the loop: a more flexible choreographic projection at LPAR 2023
- Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, and Florian Rademacher: LEMMA2Jolie: A tool to generate microservice APIs from domain models at SCP 2023
- Jacques Carette, Chris Heunen, Robin Kaarsgaard and Amr Sabry. The Quantum Effect: a recipe for QuantumPi at QPL 2023
- Luís Cruz-Filipe, Sofia Kostopoulou, Fabrizio Montesi, and Jonas Vistrup. μXL: Explainable Lead Generation with Microservices and Hypothetical Answers at ESOCC 2023
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
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!