Inria Innovation Prize – Académie des sciences – Dassault Systèmes.
- Share
- Share on Facebook
- Share on X
- Share on LinkedIn
The Convecs team strengthens the security of parallel systems. Four researchers from the Convecs project team were recently awarded the Inria Innovation Prize – Académie des sciences – Dassault Systèmes.
Their work contributes to the development of the CADP toolbox for modelling and verifying parallel and distributed systems. The aim is to automatically detect design flaws in highly complex systems.
Website : https://www.inria.fr/en/convecs-team-safety-modeling-distributed-paralle...
At LIG
Radu MATEESCU
Research Director and leader of the Convecs project-team
Hubert GARAVEL
Research director
Frédéric LANG
Researcher
Wendelin SERWE
Researcher
- Share
- Share on Facebook
- Share on X
- Share on LinkedIn