Félix Ridoux -

Registered user since Wed 3 Apr 2024

Name:Félix Ridoux

Country:France

Affiliation:Univ Rennes / IMDEA Software Institute

Personal website: https://felixridoux.github.io/me/

Contributions

2024

Static Analysis Symposium

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

2023

Static Analysis Symposium

Author of A Product of Shape and Sequence Abstractions (Radhia Cousot Young Researcher Best Paper Award) within the SAS 2023-track