FORUM TERATEC 2024

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
,