Guest editor of the MSCS Special Issue Differences and Metrics in Program Semantics: Advances in Quantitative Relational Reasoning
Co-Chair of the 14th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2026)
PC member of the European Symposium on Programming (ESOP 2026)
PC member of the Italian Conference of Theoretical Computer Science (ICTCS 2026)
PC member of the 17th Workshop on Games for Logic and Programming Languages (GaLoP 2026)
PC member of the ACM SIGPLAN International Conference of Functional Programming (ICFP 2024)
PC member of Logic in Computer Science (LICS 2024)
PC member of the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024)
PC member of the International Workshop on Quantitative Logical Methods (Qualog 2023)
PC member of Mathematical Foundations of Programming Semantics (MFPS 2023)
PC member of Computer Science Logic (CSL 2022)
PC member of the 3rd ItaCa Workshop (ItaCa 2022)
PC member of AI for People (AI4P) Special Issue of the AI & Society -- Journal of Culture, Knowledge and Communication (Springer), 2021
PC member of the 8th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2020)
Artifact Evaluation Committee of the International Conference on Functional Programming 2018 (ICFP 2018)