Groups
Since 2023 Member of the iNEST: INTERCONNECTED NORD-EST INNOVATION ECOSYSTEM project |
Since 2019 Member of OVERLAY research group on Formal Methods for AI (fOrmal VERification, Logic, Automata, and sYnthesis) |
Since 2019 Member of Gruppo Nazionale per il Calcolo Scientifico (GNCS) - Sezione Fondamenti di Informatica e Sistemi Informatici. Member of the local INdAM research unit of the University of Padova |
2014-2018 (during PhD) Former member of REGIS: Research Group in Information Security |