Sebastien Bardin - POPL 2020

Registered user since Sun 11 Aug 2019

Name: Sebastien 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	Author of Qbricks: formal verification in quantum computing within the PLanQC-track Author of Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control within the PLanQC-track
Show activities from other conferences