Editorship

He is member of the editorial board of the journals Logical Methods in Computer Science, Mathematical Structures in Computer Science and Acta Informatica. He has served as a guest editor for the journal Theoretical Computer Science

Steering Committee Membership

• LICS, "Logic in Computer Science", from 2023.
• FoSSaCS, "Foundations of Software Science and Computational Structures", from 2018 to 2023.
• TLCA "Typed Lambda Calculi and Applications", from 2014 to 2016.
• DICE "Developments in Implicit Complexity", since 2012.
• LCC "Logic and Computational Complexity", from 2016 to 2022.

Program Chairing

• LICS 2024, 39th Italian Conference on Annual ACM/IEEE Symposium on Logic in Computer Science, Tallinn, Estonia, July 2024.
• ICTCS 2022, 23rd Italian Conference on Theoretical Computer Science, Rome, Italy, September 2022.
• TLLA&Linearity 2020, Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Online, June 2020.
• FoSSaCS 2018 21st International Conference on Foundations of Software Science and Computation Structures, Tessaloniki, Greece, April 2018.

Program Committee Membership

He regularly serves in the program committee of international conferences about programming language theory and logic in computer science. The following is a selection of some recent ones:

• FoSSaCS 2025, 28th International Conference on Foundations of Software Science and Computation Structures, Hamilton, Canada April 2025.
• CSL 2025, 33rd EACSL Annual Conference on Computer Science Logic, Amsterdam, Netherlands February 2025.
• MFCS 2024, 49th International Symposium on Mathematical Foundations of Computer Science, Bratislava, Slovakia, August 2024.
• ESOP 2024, 33rd European Symposium on Programming, University of Luxemburg, Luxemburg, April 2024.
• FSTTCS 2023, 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, IIIT Hyderabad, India, December 2023.
• LICS 2023, 38th Annual ACM/IEEE Symposium on Logic in Computer Science, Boston, USA, June 2023.