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.

Featured News

Jacopo Mauro, together with Roberto Amadini and Maurizio Gabbrielli, won the Silver medal at the 2020 MiniZinc Challenge, an international annual competition of constraint programming solvers on a variety of benchmarks.

On February 7th, Luís Cruz-Filipe presented the paper “Hypothetical Answers to Continuous Queries over Data Streams” at the 34th AAAI Conference on Artificial Intelligence.

Fabrizio Montesi has received a prestigious Villum Foundation Villum Young Investigator grant, for a total of DKK 7.1 millions (~1 million EUR). The Villum Young Investigator Programme funds particularly talented young researchers in the technical and natural sciences.

Latest News

On Week 35 (24th to 28th 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+.

On March 2nd, Forskerzonen — one of the major danish popular-science publication agencies — released an interview to Luís Cruz-Filipe on how to achieve the best result in the implementation of artificial intelligence in society.

On January 28th Larisa Safina successfully defended her PhD Thesis “Formal methods and patterns for microservices”.

Jacopo Mauro, together with Cesar Sanchez (IMDEA Software Institute, Spain), organised PhD-iFM’19, a PhD Symposium at the 15th International Conference on integrated Formal Methods (iFM). Theme of this edition of the symposium was “Formal Methods: Algorithms, Tools and Applications”. This edition’s award was assigned to Debasmita Lohar, for the paper: “Sound Probabilistic Numerical Error Analysis”.