Menu

Concurrency & Logic

 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

Read more

To give you the best possible experience, this site uses cookies Read more about cookies

Accept cookies