Sébastien Bardin - POPL 2020

Registered user since Sun 11 Aug 2019

Name:Sébastien Bardin

Country:France

Affiliation:CEA LIST

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