• Sign in
  • Sign up
conf.researchr.org / François Bobot
  • ICFP 2017 profile
  • POPL 2017 profile
  • POPL 2019 profile
  • POPL 2020 profile
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

Share
xMon 6 Feb 17:55
using conf.researchr.org (v1.58.0)
Support page
Sign Up