AAMAS 2024 (23rd International Conference on Autonomous Agents and Multi-Agent Systems). PC Member. 2024
FormaliSE 2024 (International Conference on Formal Methods in Software Engineering). AE Member. 2024
OOPSLA 2024 (ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Application). AE Member. 2024
POPL 2024 (51st ACM SIGPLAN Symposium on Principles of Programming Languages). AE Member. 2024
PPDP 2023 (25th International Symposium on Principles and Practice of Declarative Programming). Subreviewer. 2023
ICFP 2023 (28th ACM SIGPLAN International Conference on Functional Programming). AE Member. 2023
FORMATS 2023 (International Conference on Formal Modeling and Analysis of Timed Systems). AE Member. 2023
FormaliSE 2023 (International Conference on Formal Methods in Software Engineering). AE Member. 2023
POPL 2023 (50th ACM SIGPLAN Symposium on Principles of Programming Languages). AE Member. 2023
SLTC 2022 (Latin American Symposium on Theory of Computation). PC Member. 2022
Microservices 2022 (International Conference on Microservices 2022). PC Member. 2022
ICFP 2022 (27th ACM SIGPLAN International Conference on Functional Programming). AE Member. 2022
FormaliSE 2022 (International Conference on Formal Methods in Software Engineering). AE Member. 2022
15CCC (15 Congreso Colombiano de Computación). PC Member. 2021
Petri Nets 2021 (42nd International Conference on Application and Theory of Petri Nets and Concurrency). Best Tool Award Committee Member. 2021
Petri Nets 2020 (41st International Conference on Application and Theory of Petri Nets and Concurrency). Best Tool Award Committee Member. 2020
LAC2020 (18th Linux Audio Conference). Scientific Committee Member. 2020
SciPy2020 (19th Annual Scientific Computing with Python conference). Reviewer. 2020
SciPy2019 (18th Annual Scientific Computing with Python conference). Reviewer. 2019
APSA Science and Technology Challenge - Ethiopia 2018: Technologies and Innovations for Sustainable Development. International Jury Board Member of the "Applications and Softwares" Session. 2018
SciPy2018 (17th Annual Scientific Computing with Python conference). Reviewer. 2018
ICTAC2018 (15th International Colloquium on Theoretical Aspects of Computing). Reviewer. 2018
LATIN2018 (13th Latin American Theoretical INformatics Symposium). Reviewer. 2017
SciPy2017 (16th Annual Scientific Computing with Python conference). Reviewer. 2017
CIM14 (9th Conference on Interdisciplinary Musicology). Reviewer. 2014
Juan Pablo Girón Ruiz. Modelado, Prueba y Verificación De Sistemas Distribuidos Usando RTDS e IFx. Undergraduated thesis, Universidad Javeriana, Cali, Colombia, 2014.