Contact : Dominique Barth, David, UVSQ; Benedikt Bollig, LSV, ENS Paris Saclay

The programs are very useful and make our lives much easier. Unfortunately, they are not entirely reliable. They often have “bugs”. The development and use of software has changed considerably in recent years. The main evolution comes from the explosion of communications. It is both an opportunity and a threat. The Labex DigiCosme axis SciLex is to understand the reliability and security of tomorrow’s information and communication systems. This research work is structured around 3 main themes:

1 – Safe and Reusable Distributed Programs
2 – Continuous & Discrete Systems: Models and Verification
3 – From High-Level to Low-Level Certification

All these themes are found in the different funded projects by Labex DigiCosme.

1 – Emerging Project

2 – Working groups

3 – PhD

4 – Post-Doc – Engineer

5 – Guest Scientists