MECHANIsation of Session typEs

Computing systems are nowadays ubiquitous and have changed the world we live in. Most of these systems consist of multiple, distributed endpoints that communicate by exchanging messages. In many cases, these systems are critical to our society, e.g., software dealing with people’s health, a control system of an airplane, or our phone app for making financial transactions. Unfortunately, such systems are becoming more and more complex, raising the question how to program them safely, ensuring they correctly implement the intended features. The goal of this project is to advance the state of the art of techniques for programming distributed software correctly.