Construction de logiciels système sécurisés et performants en s’appuyant notamment sur l’utilisation d’un langage sécurisé, Rust, maximisant les vérifications à la compilation.
Le CEA est un acteur majeur de la recherche, au service de l'État, de l'économie et des
citoyens. Il apporte des solutions concrètes à leurs besoins dans quatre domaines
principaux : transition énergétique, transition numérique, technologies pour la médecine
du futur, défense et sécurité.
