July 18, 2024 | NLP helps find answers to feasibility questions in clinical studies

The purpose of the e-Meuse Santé project with Barle-Duc Medical Center is to bring digital innovations that will improve access to healthcare in rural areas in eastern France.

July 16, 2024 | Integration of active attacker models into security program analysis

CEA-List and Université Grenoble Alpes have developed the first-ever software security analysis technique capable of simulating a powerful attacker at scale.

July 11, 2024 | Robotic operator assistance for the precise handling of heavy loads

CEA-List’s Cobomanip cobot, developed over a decade of R&D, gives operators precision load[1]handling assistance in complex environments.

July 9, 2024 | Formal methods for blockchain

When it comes to consensus-based distributed systems like the most recent blockchain protocols, innovative formal specification and verification methods can help increase trust.

July 4, 2024 | Automated generation of test scenarios for autonomous vehicle safety

An extremely wide variety of potential driving scenarios makes it notoriously difficult to guarantee the safety of autonomous vehicles.

July 2, 2024 | Quantum software

New computing paradigms will require appropriate programming, verification, and code analysis tools.

aidge

June 7, 2024 | Training for excellence in machine learning: researchers, sign up!

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.