Menu

Concurrency & Logic

Lecture at IMADA

In our group, we develop theory and tools that automate crucial steps of the development and analysis processes, enhancing their efficiency and reliability.

Topics of Research

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

Read more at concurrency.sdu.dk

Fundraising and external collaborations

Please see concurrency.sdu.dk

Group members

Please see concurrency.sdu.dk

Contact person

Fabrizio Montesi

Publications

Please see concurrency.sdu.dk

Concurrency & Logic

Læs mere

Vi samler statistik ved hjælp af cookies for at forbedre brugeroplevelsen. Læs mere om cookies

Acceptér cookies