Curriculum Vitae

Education

• Jan. 2025 - Now: Ph.D. in Computer and Cyber Sciences, Augusta University, USA.
• M.S. in Mathematics, University of Milan, Italy. Thesis: Formalizing the Operational Semantics of the π-calculus: a Solution to the Concurrent Calculi Formalization Benchmark (part 2) (PDF). Advisor: Alberto Momigliano. April 2024.
• B.S. in Mathematics, University of Milan, Italy. September 2019.

Publications

• G.C. A Formalization of the Reversible Concurrent Calculus CCSK^P in Beluga. To appear at ICE 2025. (PDF) (Artifact)
• G.C. and Alberto Momigliano. A Beluga Formalization of the Harmony Lemma in the π-Calculus. Proceedings Workshop on LFMTP 2024, Tallinn, Estonia, 8th July 2024, Electronic Proceedings in Theoretical Computer Science 404, pp. 1–17. (DOI) (Artifact)

Talks and Presentations

• A Formalization of the Reversible Concurrent Calculus CCSK^P in Beluga. ICE 25, Lille, 20 June 2025. (Slides)
• Formal Methods for Reversible Concurrent Calculi. Poster presentation at Young Researchers Event, DisCoTec 25, Lille, 16-19 June 2025. (Poster)
• A Beluga Formalization of the Harmony Lemma in the π-Calculus. LFMTP 2024, Tallinn, 8 July 2024. (Slides)
• An Introduction to Process Calculi. University of Milan, 13 December 2023. (Slides)

Professional Services

• PC member of the Artifact Evaluation Committee at ICFP 25.
• Reviewer for CORSE 25.
• Student volunteer at ICFP 24 and FM 24.