Write a Blog >>
Sébastien Bardin

Registered user since Sun 11 Aug 2019

Name: Sébastien Bardin

Country: France

Affiliation: CEA LIST

Personal website: http://sebastien.bardin.free.fr/

Research interests: Program Analysis; Formal Methods; Software Engineering; Security

Contributions

PLanQC 2020 Qbricks: formal verification in quantum computing
Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control
Show activities from other conferences

POPL 2020-profile
View general profile