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
More New Members
We are happy to share that our section has just gained four new members!
Peter Mayer and Robin Kaarsgaard are joining us as assistant professors in usable security and quantum computing, while Dan Plyukhin and Matteo Acclavio are joining us as post-docs in programming languages and distributed systems.
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!
New Member
We are pleased to announce that Sofia Kostopoulou will be joining our section as a PhD student!
Latest News
Microservices Workshop 2022
The Microservices and DevOps course taught by Jacopo Mauro is organizing a microservice workshop. The workshop is open to everyone with basic skills in Java and will be given by Christian Clausen, the founder of Mistware and author of the book Five Lines of Code.
Find more information and instructions on how to sign up here.
The Faculty of Science awards Jacopo Mauro with this year’s Innovation Prize for bringing SDU’s knowledge within education and research into play in a completely new and innovative way. See the Dean surprise Jacopo with the award here.
NIST has recently announced the selection of the first four algorithms of their 2016 Call for Proposals for Post-Quantum Cryptography Standardization.
Ruben Niederhagen has been directly involved in the development of one of the winning digital signature algorithms, SPHINCS+, and has shared some of his thoughts here.
On Week 33 (15th to 19th August) Jacopo Mauro and Marco Peressotti lectured at the Danish Cyber-security Summer School held at the DTU Diplom institute in Ballerup.
Mauro lectured on Site Engineering Reliability culture and techniques and the recent declination of DevSecOps. Peressotti lectured on Formal Methods fundamentals and main techniques and gave a tutorial about formal specifications using TLA+.