Career Highlights

•   (Co)Author of 78 scientific articles, published in high-level venues (mostly on Semantics, Logics and Programming Languages, but also on Machine Learning, Algorithms and Security). 

•     Spotlight paper (top 3% out of 9122 submissions) to NeurIPS’21;

•     14 journals classified as Q1 and 12 journals classified as Q2 by Scimago in the publication years; 

•     13 conferences classfied as A*/A and 3 classified as B by CORE2023;

•   11 single-name articles, among which one on Distributed Computing (Q1 by Scimago), two on Information and Computation (Q1 by Scimago), one on CONCUR and one on FoSSaCS (both A by CORE2023);

•    55 different co-authors, among which 33 working in foreign universities.

•    Program Committee Co-chair of: 

•       CONCUR 2014, reference conference for Concurrency Theory;

•       ICTCS 2022, conference of the Italian Chapter of the EATCS;

•       EXPRESS (editions 2008 and 2009), affiliated to CONCUR; 

•       SecCo 2007, affiliated to ICALP.

•   Program Committee Member of: ACM CCS 2026, ACM CCS 2025, GandALF 2025, EXPRESS-SOS 2025, CONCUR 2024, FORTE 2024, ICTCS2023, CONCUR 2022, Causal-ITALY 2022, Causal-ITALY 2021, FORTE 2021, ICTCS 2019, FORTE 2014, CONCUR 2013, CONCUR 2010, MFPS 2009, PLID 2008, EXPRESS 2007.

•   Editor-in-Chief of SigLOG News (ACM): 2023 – today.

•   Associate Editor of ACM Transactions on Computational Logic (ACM): 2023 – today.

•  Survey Paper Editor and Member of the Editorial Board of Journal of Logical and Algebraic Methods in Programming (Elsevier): 2020 – today.

•   Steering Committee Member of:

•       LICS (ACM/IEEE Conf. on Logic in Computer Science): 2020 – 2024;

•       ITP (Intern. Conference on Interactive Theorem Proving): 2020 – 2023;

•       ETAPS (Europ. Joint Conf. on Theory and Practice of Software): 2012 – 2014.

•   Member of the sub-panel Computer and Information Sciences of the Periodic Evaluation of Research, Development, Artistic and Other Creative Activities (VER 2026) in Slovakia. 

•   Invited Presentations:

•       “Qualitative and Quantitative Network Protocol Analysis”, Dagstuhl, 2010;

•       BASICS’09, Shanghai University, 2009;

•       EXPRESS'07 (affiliated to CONCUR'07), Lisboa, 2007;

•       “Foundations of Global Computing”, Dagstuhl, 2005;

•       SecCo'03 (affiliated to ICALP'03), Eindhoven, 2003.

•   Teaching Activity in PhD Schools and Courses:

•       “Concurrent Systems”, University of Edinburgh & Scottish Programming Languages Institute (UK), 2024;

•       “Concurrent Systems”, Reykjavik University (Iceland), 2023;

•       "Concurrent Systems", Gran Sasso Science Institute (GSSI - Italy), 2023.

•   Research visits:

•       University of Edinburgh (UK): 1 month, 2024;

•       Reykjavik University (Iceland): 1 month, 2023;

•       École Polytechnique (Paris, F): 1 month, 2022;

•       École Polytechnique (Paris, F): 1 month, 2018;

•       University College (London, UK): 1 month, 2016;

•       Imperial College (London, UK): 1 month, 2012;

•       University of Technology (Sydney, Australia): 2 months, 2010;

•       Université “Diderot – Paris VII” (Paris, F): 1 month, 2008;

•       University of Sussex (Brighton, UK): 4 months, 2005;

•       University of Sussex (Brighton, UK): 3 months, 2003.

•   General Chair of: 

•       CADE-29 + FSCD 2023 (with 14 affiliated workshops), attendees: 330;

•       ICTCS 2022, attendees: 80;

•       LICS 2021 (with 4 affiliated workshops), attendees: around 350;

•       ITP 2021 (with 2 affiliated workshops), attendees: around 100; 

•       ICALP 2016, attendees: around 250;

•       CONCUR/TGC/IFIP-TCS 2014 (with 6 affiliated workshops), attendees: around 300;

•       ETAPS 2013 (6 conferences, 20 affiliated workshops), attendees: around 650.

•    Co-Author of a text book on Mathematical Logic, McGraw-Hill editor (in italian), 2009.