Registered user since Thu 17 Jul 2025
Name:Samar Rahmouni
Country:France
Affiliation:Institut Polytechnique de Paris
Personal website: https://natvern.github.io
Research interests:Proof Theory, Verification
Contributions
2026
POPL 2026-profile
View general profile
View general profile