Lucas Franceschino -

Registered user since Tue 5 Oct 2021

Name:Lucas Franceschino

Country:France

Affiliation:INRIA

Personal website: https://lucas.franceschino.fr

GitHub: https://github.com/w95psp

Contributions

2022

ICFP

Committee Member in Evaluators within the Artifact Evaluation-track

2021

Static Analysis Symposium

Author of Verified Functional Programming of an Abstract Interpreter within the SAS-track