I am a doctoral student pursuing a joint PhD project between Université Paris Cité and Università degli studi di Roma Tre. My supervisors are Thomas Ehrhard and Lorenzo Tortora de Falco. My thesis investigates Proof-nets, showcasing their confluence via parallel reduction and exploring their application to concurrency theory.

• G. Guerrieri, G. Manara, L. Tortora de Falco, and L. Vaux Auclair, “Confluence of proof-nets via parallel cut-elimination”,
  in the 25th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-25), Baclava, Mauritius, 2024. https://easychair.org/publications/paper/kGr4

• G. Guerrieri, G. Manara, L. Tortora de Falco, and L. Vaux Auclair, “Confluence for untyped proof nets via parallel cut elimination”,
  in TLLA: 7th International Workshop on Trends in Linear Logic and Applications, Rome, Italy, 2023. https://lipn.univ-paris13.fr/TLLA/2023/accepted.

• G. Manara, “Towards parallel reduction for linear logic proof-nets”, in AILA: XVII incontro di logica,
  Caserta, Italy, 2022. https://www.ailalogica.it/incontro2022/abstracts/AILA2022_paper_9647.pdf.

• M. Acclavio, G. Bernardi, G. Manara, and F. Montesi, “Processes-as-formulas”,in preparation.

• M. Acclavio and G. Manara, “The proof theory of process calculi”,in preparation.

• (2022-2023) Teaching Assistant, Université Paris Cité, Department of Computer Science, (64 hours):
  1. Binary Machine Operating Principles, first year of B.Sc.
  2. Introduction to Programming 2 (Python), first year of B.Sc.

• (2021-2022) Teaching Assistant, Université Paris Cité, Department of Computer Science,(64 hours):
  1. Introduction to Programming 2 (Java) , first year of B.Sc.
  2. Network Programming, third year of B.Sc.

• Sept. 2024 AILA meeting
  https://www.ailalogica.it/2024/04/03/incontro-aila-2024// Udine, Italy.

• Jun. 2024 Logic Colloquium 2024:European Summer Meeting of the Association for Symbolic Logic
  https://lc2024.se/ Gothenbug, Sweden.

• May 2024 LPAR 2024: 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
  https://easychair.org/smartprogram/LPAR2024/ Baclava, Mauritius.

• Mar. 2024 Proof, Argumentation, Computation, Modalities And Negation (PACMAN)
  https://mega.nz/file/0lYSzDxJ#MwGkh2fwHbj3dEINqvFRtpiE4g-dPr_RmxysKFd5Z5w Verona, Italy.

• Jan. 2024 Workshop on Proof Systems for Modal Fixed Point Logics Amsterdam, Netherlands.

• Nov. 2023 SCALP Journées 2023 du GT Scalp
  https://www.irif.fr/gt-scalp/journees-2023 Orléans, France.

• Jul. 2023 TLLA 2023 7th International Workshop affiliated with FSCD
  https://lipn.univ-paris13.fr/TLLA/2023/ Rome, Italy.

• Jun. 2023 The fifth edition of the LHC days
  https://smimram.gitlabpages.inria.fr/lhc/journees/2023/06/06/journees.html Paris, France.

• Apr. 2023 Places, Workshop affiliated with ETAPS 2023
  https://places-workshop.github.io/2023/ Paris, France.

• Jan. 2023 Workshop on Probabilistic Program Semantics (PPS)
  https://www.irif.fr/pps-meeting4-2023 Paris, France.

• Nov. 2023 Chocola https://chocola.ens-lyon.fr/events/meeting-2022-11-24/ Paris, France.

• Feb. 2023 Foundation of Programing and software systems (FOPSS2023) Winter school,
  https://site.unibo.it/fopss2023/en Bertinoro, Italy

• Sep. 2022 Workshop in Honor of Thomas Ehrhard, Paris, France

• Jan. 2022 Logic and Interaction Thematic Month, https://conferences.cirm-math.fr/2507.html Centre Internationale de Rencontre Mathématiques (CIRM), Marseille, Franc

• Nov. 2021 Third International Winter School and Workshop on Proof Theory Winter school, https://kgs.logic.at/madeira2021/ Funchal,Portugal

• MathInParis 2020 PhD fellowship, FSMP.
  Grant provided by the FSMP foundation cofunded by Marie Sklodowska-Curie Actions within the framework of the European Horizon 2020 program “Marie Sklodowska-Curie Co-funding of Regional, National and International Programmes”.
  https://www.sciencesmaths-paris.fr/en/?view=article&id=325:mathinparis2020&catid=36
• Erasmus+ SMS scolarship.
  Funding for the mobility from Università degli Studi Roma Tre to Université Aix-Marseille in the framework of the double degree program “Curriculum italo-francese di laurea magistrale in Logica”.
  http://logica.uniroma3.it/~tortora/CurriculumBinazLogica.html