Skip to main content

Artificial Intelligence, Cybersecurity and Programming Languages

Lecture at IMADA

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

Læs mere

Institut for Matematik og Datalogi Syddansk Universitet
  • Campusvej 55
  • Odense M - DK-5230
  • Telefon: +45 6550 2387

Sidst opdateret: 14.06.2021