Matteo Acclavio

Papers

Proofzilla V.0.19 (manual): a LateX package for graphs and proof nets representation.
The package is under development, any feedback or suggestion is welcome. If you have any request or proposal for new features write me.

1/2023 - 1/2024: Post-Doc, University of Southern Denmark [Supervisor Fabrizio Montesi]
6/2022 - 1/2023: Post-Doc (Assegno di ricerca), Università Roma Tre [Supervisor Marco Pedicini]
6/2020 - 5/2022: Post-Doc, Université du Luxembourg [Supervisor Sjouke Mauw]
12/2019 - 5/2020: Post-Doc, Télécom SudParis, INRIA - Saclay and LIX - École Polytechnique, [Supervisors Guillaume Burel, Kaustuv Chaudhuri and Dale Miller]
12/2019 - 5/2020: Contract Lecturer, American University of Paris teaching the course INTRO TO COMPUTER PROGRAMMING II
1/2019 - 12/2019: Post-Doc (Assegno di ricerca), at Università Roma Tre, [Supervisor Luca Biasco]
10/2017 - 11/2018: Post-Doc, INRIA - Saclay and LIX - École Polytechnique, [Supervisor Lutz Straßburger]
1/2017 - 6/2017: Post-Doc (ATER), Université de Caen Normandie
9/2015 - 8/2016: Post-Doc (ATER), Aix-Marseille Université
2012 - 12/2016: Ph.D student, Aix-Marseille Université [Ph.D. advisor: Yves Lafont]

( • = presentation of accepted work, ■ = invited speaker )

Ph.D Thesis (Advisor: Yves Lafont, 2016): "String diagram rewriting: applications in category and proof theory" (pdf)
Jury members: Willem Heijltjes (referee), Samuel Mimram (referee), Vito Michele Abrusci, Pierre-Louis Curien, Miriam Quatrini, Luigi Santocanale, Lorenzo Tortora De Falco.
Tesi di Laurea Magistrale (Advisors: Yves Lafont, Lorenzo Tortora De Falco, 2013): "Undecidability of the word problem for groups: the point of view of rewriting theory" (pdf).
Raport de Master (Advisors: Yves Lafont, Lorenzo Tortora De Falco, 2012): "Comparing various proofs of the Novikov-Boone theorem based on rewriting" (pdf).
Tesi di Laurea Triennale (Advisor: Marco Liverani, 2011): "Algoritmi efficienti per la soluzione del problema Clique" (pdf).