Service

Events

  • 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

Jury

  • Juan Pablo Girón Ruiz. Modelado, Prueba y Verificación De Sistemas Distribuidos Usando RTDS e IFx. Undergraduated thesis, Universidad Javeriana, Cali, Colombia, 2014.

Other Activities