CV

Education

• January 2025 - Now: PhD in Computer and Cyber Sciences, Augusta University, USA
• April 2024: Master’s Degree in Mathematics, University of Milan, Italy
• September 2019: Bachelor’s Degree in Mathematics, University of Milan, Italy

Publications

• Gabriele Cecilia 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