AI for systems engineering

CEA-List develops algorithms to help engineers face the challenges of designing complex systems.

Formal methods

The purpose of the INCA program is to make sophisticated formal verification methods accessible to all companies that develop code.

Augmented digital engineering

Assisting engineers with the design of increasingly software-intensive complex systems.

Research programs

Harnessing the power of digital for sustainability

Digital technology can reduce environmental impacts by optimizing decommissioning projects and industrial processes.

Cybersecurity: toward safety and privacy by design

Cybersecurity is at the heart of digital sovereignty, and an essential constituent of modern societies. As a crucial element for peace and security in cyberspace, it is an invisible but key enabler for businesses, the economy, and citizens’ day to day lives.

Mobility and the challenges of trust and environmental responsibility

CEA-List is working on solutions to all the major transformations underway in mobility: digital technology, decarbonization, and new business models.

Transforming health through digital technology

Digital technology brings with it opportunities to improve the entire healthcare system, from diagnostics to hospital administration.

Focus areas

Digital Trust

Today, devices and networks are increasingly interconnected, multiplying the risk of malicious attacks. But AI can help to thwart them, just as it can proactively identify potential vulnerabilities. But what about privacy?