- 2023-now: Associate professor in computer science at DIBRIS in the University of Genoa
- December 2022: Habilitation à Diriger des Recherches (HDR) in computer science from Université Paris Cité
- 2010-2023: Maître de conférences (assistant professor) at the departement of computer science of Université Paris Cité doing my research in the modelling and verification group of IRIF (Institut de Recherche en Informatique Fondamentale)
- 2010: Postdoctoral student at the departement of computer science of the University of Genova working with Giorgio Delzanno
- 2009: Postdoctoral student at the departement of computer science of the University of Torino working with Jeremy Sproston
- November 2008: PhD in computer science from ENS Cachan
- 2005-2008: PhD in LSV (Laboratoire Spécification et Vérification) at ENS Cachan (now ENS Paris Saclay) under the direction of Alain Finkel and Etienne Lozes