Mário Silva -

Registered user since Sun 5 Oct 2025

Name:Mário Silva

Affiliation:Inria

Personal website: https://sites.google.com/view/mariosilva

Contributions

2026

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track