Mehdi Bouaziz

Registered user since Mon 20 Jun 2016

Name:Mehdi Bouaziz
Country:France
Affiliation:Nomadic Labs Paris
Personal website:http://mehdi.bouaziz.org
Research interests:Static analysis, Abstract interpretation, Security, Programming Languages

Contributions

SOAP 2022 Author of Abstract interpretation of Michelson smart-contracts within the SOAP 2022-track
OCaml 2021 Committee Member in Program Committee within the OCaml 2021-track
POPL 2019 Author of [T8] Building Your Own Modular Static Analyser with Infer within the TutorialFest-track