Clément Pascutto

Registered user since Mon 31 May 2021

Name:Clément Pascutto
Affiliation:Tarides, Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF
Personal website:
Research interests:OCaml, Distributed systems, Formal methods, Runtime Assertion Checking, Software Engineering


OCaml 2021 Author of Leveraging Formal Specifications to Generate Fuzzing Suites within the OCaml 2021-track
OCaml 2020 Author of Irmin v2 within the OCaml 2020-track