Groups

Member of the European Association for Theoretical Computer Science. Founded in 1972, EATCS is an international organization that aims to facilitate the exchange of ideas and results among theoretical computer scientists and to stimulate cooperation between the theoretical and practical communities.

Member of the OVERLAY research group on Formal Methods for AI (fOrmal VERification, Logic, Automata, and sYnthesis).

Member of Gruppo Nazionale per il Calcolo Scientifico (GNCS) - Sezione Fondamenti di Informatica e Sistemi Informatici.

Member of the iNEST project (Interconnected Nord-Est Innovation Ecosystem).

Former member of REGIS: Research Group in Information Security.