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.

G.C. A Formalization of the Reversible Concurrent Calculus CCSK^P in Beluga. Proceedings 18th Interaction and Concurrency Experience (ICE 2025), Lille, France, 20th June 2025, Electronic Proceedings in Theoretical Computer Science 425, pp. 55-72. (DOI) (Artifact)
G.C. and Alberto Momigliano. A Beluga Formalization of the Harmony Lemma in the π-Calculus. Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2024), Tallinn, Estonia, 8th July 2024, Electronic Proceedings in Theoretical Computer Science 404, pp. 1–17. (DOI) (Artifact)

Formal Methods for Reversible Concurrent Calculi: an Introduction. Research Colloquium presentation, Augusta University, 8 August 2025. (Slides)
A Formalization of the Reversible Concurrent Calculus CCSK^P in Beluga. ICE 2025, Lille, 20 June 2025. (Slides)
Formal Methods for Reversible Concurrent Calculi. Poster presentation at Young Researchers Event, DisCoTec 2025, 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)