Samar Rahmouni - ICFP/SPLASH 2025

Sun 12 - Sat 18 October 2025 Singapore

Registered user since Thu 17 Jul 2025

Name:Samar Rahmouni

Country:France

Affiliation:Inria & Ecole Polytechnique

Personal website: https://natvern.github.io

Research interests:Proof Theory, Verification

Contributions

2025

ICFP/SPLASH

Video Chair in AV Committee

Show activities from other conferences

ICFP/SPLASH 2025-profile
View general profile