Cybersecurity is about analyzing vulnerabilities in complex digital systems and using innovative technologies to find new ways of preventing cyberattacks.
Read more
CEA-List is rolling out an ambitious research program to support the responsible development of AI-based systems for industry and society.
Read more
The purpose of the INCA program is to make sophisticated formal verification methods accessible to all companies that develop code.
Read more