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