CC
Christophe Chareton
CEA
Senior researcher CEA List
Description
A researcher at CEA/List since 2018, Christophe Chareton is interested in techniques for validating quantum programs, particularly those implementing formal methods and static analysis. In recent years he has developed the Qbricks tool, a pioneer in the field of functional verification in quantum computing.
Loading