Skip to main content

Artificial Intelligence, Cybersecurity and Programming Languages

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.

Topics of Research

  • Concurrency Theory
  • Programming Languages
  • Applied Logic
  • Microservices
  • Choreographic Programming
  • DevOps
  • Data Consistency
  • Theorem Proving

Read more at concurrency.sdu.dk

Contact person

Fabrizio Montesi 

Artificial Intelligence, Cybersecurity and Programming Languages

Read more

Department of Mathematics and Computer Science University of Southern Denmark
  • Campusvej 55
  • Odense M - DK-5230
  • Phone: +45 6550 2387

Last Updated 23.06.2021