Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Clement Pit-Claudel
conf.researchr.org general profile
ICSE 2025 profile
POPL 2026 profile
Not registered as user
Name:
Clement Pit-Claudel
Affiliation:
EPFL
Contributions
2026
CPP
Session Chair of Program verification (part of CPP 2026)
2025
ICSE
Author of Formally Verified Cloud-Scale Authorization within the Research Track-track
Share
x
Sat 14 Mar 02:56