FORMATS 2023 (International Conference on Formal Modeling and Analysis of Timed Systems). Artifact Evaluation Member. 2023
FormaliSE 2023 (International Conference on Formal Methods in Software Engineering). Artifact Evaluation Member. 2023
POPL 2023 (50th ACM SIGPLAN Symposium on Principles of Programming Languages). Artifact Evaluation Member. 2023
SLTC 2022 (Latin American Symposium on Theory of Computation). Program Committee Member. 2022
Microservices 2022 (International Conference on Microservices 2022). Program Committee Member. 2022
ICFP 2022 (27th ACM SIGPLAN International Conference on Functional Programming). Artifact Evaluation Member. 2022
FormaliSE 2022 (International Conference on Formal Methods in Software Engineering). Artifact Evaluation Member. 2022
15CCC (15 Congreso Colombiano de Computación). Program Committee 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.