SB
Sébastien Bardin
CEA-List
Senior researcher CEA List
Description
Sébastien Bardin est Chercheur Senior au CEA List, spécialiste en méthodes formelles et analyse de programme. Il a récemment développé le versant logiciel du programme quantique du CEA, et lancé les axes de recherche "analyse de programme quantique" et QBricks. Sébastien est Fellow du CEA.
Chargement