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


Contact person

Fabrizio Montesi 

Concurrency & Logic

Read more

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

Accept cookies