Sébastien Bardin

Principal Researcher, LIST, CEA
Principal Researcher, Université Paris-Saclay
Joined
June 2024

Names

Sébastien Bardin (Preferred)

Emails

****@cea.fr (Confirmed)

Personal Links

Career & Education History

Principal Researcher
LIST, CEA (cea.fr)
Present
Principal Researcher
Université Paris-Saclay (universite-paris-saclay.fr)
Present
PhD student
LSV, Ecole Normale Superieure (ens-paris-saclay.fr)
2002 – 2005

Advisors, Relations & Conflicts

No relations added

Expertise

formal methods
, 
program analysis
Present
software engineering
, 
testing
Present
security
Present
automated reasoning
Present
quantum programming
Present
programming language
Present
logic
Present

Publications

No publications

Co-Authors

No co-authors