When it comes to consensus-based distributed systems like the most recent blockchain protocols, innovative formal specification and verification methods can help increase trust.
Read more
An extremely wide variety of potential driving scenarios makes it notoriously difficult to guarantee the safety of autonomous vehicles.
Read more
New computing paradigms will require appropriate programming, verification, and code analysis tools.
Read more
To create trusted generative AI solutions, Thales’s AI Lab, the most powerful integrated laboratory for critical AI in Europe, and the CEA, which is one of the world’s most innovative research organisations and is listed alongside Thales in the Clarivate Analytics Top 100 Global Innovators, have joined forces to focus on a range of generative AI use cases, in particular for intelligence and command applications.
Read more
Meet CEA-List during the Leti Innovation Days 2024 that will take place in Grenoble from June 25 to 27.
Read more
From June 24 to 28, meet CEA-List teams and discover two of our demos during the RISC-V Summit Europe event.
Read more
The CEA-List institute is part of the scientific committee of upcoming CIMI thematic trimester dedicated to recent developments and challenges of high-dimensional statistical inference & machine learning.
Read more
Meet CEA-List teams at Eurosatory from June 17 to 21 in Paris and discover our latest innovations.
Read more
Startup B.Partners has developed a smart online assistant that helps traditional small businesses and tradespeople grow. Just a few months after the release, users were won over. The secret to the tool’s rapid rise to success is CEA-List’s ExpressIF®, an artificial intelligence that simulates human reasoning.
Read more