Scientific committees

Member of the Program Committee in 20th International Symposium on Logical and Semantic Frameworks, with Applications (LSFA 2025). October, 2025.

Member of the Artifact Evaluation Committee and Invited reviewer in 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2025). May, 2025.

Member of the Artifact Evaluation Committee in 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025). January, 2025.

Member of the Artifact Evaluation Committee in 29th ACM SIGPLAN International Conference on Functional Programming (ICFP 2024). September, 2024.

Member of the Computing Science’s Advising Commission in Facultad de Matemática, Astronomía, Física y Computación (FAMAF, UNC). October, 2023.

Member of the Computing Science’s Curricular Committee in Facultad de Matemática, Astronomía, Física y Computación (FAMAF, UNC). September, 2023.

Invited reviewer in 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024). August, 2023.

Member of the Artifact Evaluation Committee in 28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023). June, 2023.

Member of the organizer committee and chair in 3er encuentro del grupo de investigadores de Lenguajes de Programación, FunLep’23. May, 2023, Córdoba, Argentina.

Member of the Artifact Evaluation Committee and Evaluation Committee in 37th European Conference on Object-Oriented Programming (ECOOP 2023). April, 2023.

Member of the Artifact Evaluation Committee in 44th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2023). April, 2023.

Member of the Artifact Evaluation Committee in 27th ACM SIGPLAN International Conference on Functional Programming (ICFP 2022). August, 2022.

Member of the Artifact Evaluation Committee in 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2022). June, 2022.

Chair in Noveno Taller Argentino de Fundamentos para el Análisis y la Construcción Automática de Software (FACAS 2022). March, 2022, La Falda, Córdoba, Argentina.

Member of the Artifact Evaluation Committee in 26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021). August, 2021, online conference.

Member of the Artifact Evaluation Committee in 25th ACM SIGPLAN International Conference on Functional Programming (ICFP 2020). August, 2020, online conference.

Member of the Artifact Evaluation Committee in 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017). September, 2017