Complex and distributed systems cover hard and soft real-time applications, security protocols and security applications as well as programs. The common feature of these systems is that their behaviour is logically and combinatorially complex, involving functional and extra-functional properties (real-time constraints, performance, security...).
We develop languages and methods for the study of fundamental problems derived from real-life issues, aiming at developing rigorous solutions that yield tools.
The DCS team revolves around four research themes: