conf.researchr.org / Clément Pascutto
![Clément Pascutto](https://conf.researchr.org/getProfileImage/clementpascutto/deafbb5e-b316-4899-a781-79634e41a0b0/small.jpg?1712091014000)
Registered user since Mon 31 May 2021
Name:Clément Pascutto
Country:France
Affiliation:Tarides, Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF
Personal website: https://www.pascutto.fr
GitHub: https://github.com/pascutto
Research interests:OCaml, Distributed systems, Formal methods, Runtime Assertion Checking, Software Engineering
Contributions