University of Bologna has world-leading researchers in models and programming languages for service-oriented computing, microservices and cloud applications, with a specific emphasis on typing systems, process algebra and co-inductive techniques.
In Choreographic Programming, a choreography specifies in a single artefact the expected behaviour of all the participants in a distributed system. The choreography is used to synthesise correct-by-construction programs for