Choco: Choreographies for Connected IT Systems

Project Title: Choreographies for Connected IT Systems 

Today, society makes large use of connected IT systems in digital businesses, healthcare, communications, and entertainment. However, the correct programming of these important systems is challenging, which hinders progress and can even put our well-being at risk. This project will investigate a new scientific method for ensuring that connected computers follow appropriate “choreographies” of reliable and secure data exchanges.
The grant will fund two postdocs and one PhD student.