Editorship

He is member of the editorial board of the journals Transactions on Computational Logic, 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

• FSCD, "Formal Structures in Computation and Deduction", from 2024.
• 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 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.

Advisory Board Membership

He is a member of the following advisory boards:

• The TheoretiCS advisory board.
• The Logical Methods in Computer Science advisory board.