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
- Lea Trogni, G.C. and Alberto Momigliano. Barbed Similarity for the π-Calculus in Beluga: A Case Study in Coinductive Reasoning. Proceedings of the 21st Workshop on Logical Frameworks and Meta Languages: Theory and Practice (LFMTP 2026), Lisbon, Portugal, 24th July 2026, Electronic Proceedings in Theoretical Computer Science 448, pp. 1–17. (DOI) (Artifact)
- G.C. A Formalization of the Reversible Concurrent Calculus CCSKP 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)
Drafts
- Clément Aubert, G.C., Iain Phillips and Irek Ulidowski. Concurrency, Causality and Conflict via Independence in Reversible Calculi. Submitted article. (PDF)
Talks and Presentations
- Barbed Similarity for the π-Calculus in Beluga: A Case Study in Coinductive Reasoning. Research Colloquium presentation, Augusta University, 1 October 2026. (Slides)
- Formalizing Reversible Concurrent Calculi in Beluga. University of Bologna, 27 May 2026. (Slides)
- Formalizing the Metatheory of Programming Languages. Research Colloquium presentation, Augusta University, 26 February 2026. (Slides)
- Formal Methods for Reversible Concurrent Calculi: an Introduction. Research Colloquium presentation, Augusta University, 8 August 2025. (Slides)
- A Formalization of the Reversible Concurrent Calculus CCSKP 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) and at Graduate Research Day, Augusta University, 27 March 2026. (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
Mentoring
- Co-advised Lea Trogni, M.S. in Mathematics, University of Milan, Italy, July 2026. Thesis: Formalizing Barbed Similarity for the π-Calculus in the Proof Assistant Beluga: A Case Study in Coinductive Reasoning.
Grants
