CC
Christophe Chareton
CEA
Researcher CEA List
Description
Chercheur au CEA/List depuis 2018, Christophe Chareton s'intéresse aux techniques de validation de programmes quantiques, en particulier celles mettant en oeuvre des méthodes formelles et de l'analyse statique. Il a développé ces dernières années l'outi Qbricks, pionnier dans le domaine de la vérification fonctionnelle en informatique quantique.
Chargement