Skip to main content

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 

Contact person

Fabrizio Montesi 

Concurrency & Logic

Læs mere