François Bobot -

Registered user since Mon 3 Apr 2017

Name:François Bobot

Affiliation:CEA

Contributions

PLanQC 2020	Author of Qbricks: formal verification in quantum computing within the PLanQC-track
VMCAI 2019	Author of Exploiting Pointer Analysis in Memory Models for Deductive Verification within the VMCAI 2019-track
OCaml 2017	Committee Member in Program Committee within the OCaml 2017-track
POPL 2017	Author of Let's Implement Your New Analysis using Industrially Strengthened Frama-C Plugins within the Tutorials-track