LISTEREL Critical Software Lab

About CEA

CEA is a government-funded technological research organisation. Drawing on its excellence in fundamental research, its activities cover three main areas: Energy, Information and Health Technologies, and Defence and Security. A prominent player in the European Research Area, with an internationally acknowledged level of expertise in its core competencies, CEA is involved in setting up collaborative projects with many partners around the world. For more information, please visit the CEA website at

Within the Technological Research Division, the CEA LIST Institute leads researches on digital systems. By developing cutting-edge technologies, the CEA LIST enhances the industrial competitiveness of its partners through innovation and technological transfer. More information at