FORUM TERATEC 2024

SB

Sébastien Bardin

CEA-List

Senior researcher CEA List

Description

Sébastien Bardin is a Senior Researcher at CEA List, specializing in formal methods and program analysis. He recently developed the software side of CEA's quantum program, and launched the "quantum program analysis" and QBricks research axes. Sébastien is a Fellow at CEA. 
Loading