conf.researchr.org / Denis Mazzucato
Denis Mazzucato

Registered user since Fri 26 Jan 2024

Name:Denis Mazzucato
Country:France
Affiliation:ENS, CNRS, PSL University, INRIA
Personal website: https://denismazzucato.github.io/
GitHub: https://github.com/denismazzucato
Research interests:Formal Methods, Abstract Interpretation, Software Verification

Contributions