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
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
CEA-List, a pioneer in blockchain research, is helping to guarantee the reliability of energy-efficient proof-of-stake (PoS) consensus mechanisms. This research responds to demand among CEA-List partners for solutions to help them reduce their environmental impacts.
Read more
NeuroCorgi: An application-specific integrated circuit (ASIC) for embedded AI that cuts power consumption 1,000-fold
Read more
Electronic waste is one of the major issues around rapid global digital growth.
Read more