conf.researchr.org / François Bobot
François Bobot

Registered user since Mon 3 Apr 2017

Name: François Bobot

Affiliation: CEA

Contributions

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