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.