ICFP 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025
ICFP/SPLASH 2025 (series) / ICFP 2025 (series) / Gabriele Cecilia
Gabriele Cecilia

Registered user since Fri 16 Aug 2024

Name:Gabriele Cecilia
Country:Italy
Affiliation:Augusta University
Personal website: https://gabrielececilia.github.io/
GitHub: https://github.com/GabrieleCecilia
Research interests:Formal Methods, Proof Assistants, (Reversible) Concurrent Calculi

Contributions

Show activities from other conferences

ICFP/SPLASH 2025-profile
View general profile