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

New Member

Apr 1, 2022

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

New Member

Feb 8, 2022

We are pleased to announce that Sophia Kostopoulou will be joining our section as a PhD student!

Meet our new members

Nov 1, 2020

We are happy to welcome three new members: Eva Graversen, Lovro Lugovic, and Valentino Picotti. Eva will join the group as a post-doc, Lovro and Valentino as PhD students.

Latest News

We are inviting applications applications for postdoctoral research fellowships in programming languages and distributed systems. The proposed starting date is September 2022, with room for flexibility. The position is for a duration of up to three years

Application deadline: 22 May 2022.

The positions are financed by the project “Choreographies for Connected IT Systems”, led by Fabrizio Montesi. The project deals with the development of theory and tools based on programming languages for the development of distributed systems. Examples of topics that the project deals with include choreographic programming, compilers, distributed programming, microservices, session types, semantics of programming languages, and interactive theorem proving. The project is flexible, with opportunities to delve into single topics or to explore synergies among them.

Interested candidates can find further details at this page and direct any questions to the project lead, Fabrizio Montesi.

We are inviting applications for tenure-track assistant professor positions in Computer Science. We are looking for new colleagues who can strengthen or add to our competences in the research areas and topics of our section.

Application deadline: 15 February 2022.

Interested candidates can find further details at this page and direct any questions to the section head, Fabrizio Montesi.

An art exhibition called “Data Choreographies” will be opening on the 4th of November at Catch (Kulturværftet, Helsingør, Denmark), with brilliant art inspired by our research on choreographic programming! The exhibition will stay open for more than a month, and will then move to other places.

More information and event details can be found here.

On the 17th of June, Marco Peressotti gave a lecture on Security by Design and Formal Methods at DigitalDays, an event organised by Denmark’s cluster organization for digital technologies DigitalLead.