For a full list of my publications visit google scholar

• Programming Language Essentials
• Maratones de programación
• Estructuras de datos y algoritmos
• Desarrollo de aplicaciones móviles
• Diseño y Programación Orientada a Objetos
• Lenguajes y Máquinas
• Matemática estructural y lógica
• Paradigmas de programación (MISIS)
• Concurrencia, Paralelismo y Distribución (MISIS)
• Programación Funcional (MISIS)
• Reinforcement Learning (MISIS)
• Verificación de Software (MISIS)
• Aprendizaje por refuerzo (MaIA)
• Aprendizaje por refuerzo profundo (MaIA)
• Introducción a la inteligencia artificial contemporánea (MaIA)
• Métricas de calidad de software (MISO)
• Programación funcional con aplicaciones en Scala (MISO)

Ph.D.

1. Mateo Sanabria – Distributed systems verification (2023 – )
2. Daniel Barrero – PL for post-quantum cryptography (2025 – )
3. Nicolás Segura – Reconciliation of classic and quantum networks (2026 – )
4. Camilo Barreto – CMS (2026 – )

Master

1. Victor Castañeda
2. Kevin Herrera
3. Luis Bautista –
4. Raul de la Rosa –
5. Leonardo Angel – A Formal Verification Framework for CRDTs in Athena (2025)
6. Lucas Gandara – Transfer Learning for robot environments (2025)
7. Sebastian Lemus – Refinement types for adaptive systems (2025)
8. Luis Alejandro Medina – Testing Deep RL programs (2025)
9. Laura Rodriguez – Back-in-time debuggers for RL (2024)
10. Julio Cesar – Analysis of post-quantum cryptography algorithms (2024)
11. Michel Patiño – Explainability in RL (2023)
12. Mateo Sanabria – Self-healing systems (2021 – 2022)
13. Sergio Cardenas – Completeness Analysis for COP (2021 – 2022)
14. Adriana Paola Bonilla – program analysis (2021)
15. Christian Sepulveda – program analysis (2021)
16. Miller Trujillo – Symbolic analysis for algorithmic diversity (2021)
17. Juan Sebastián Sosa – Distributed Petri nets (2020 – 2021)
18. Stephannie Jimenez – Cross-language code clone detection for mobile platforms (2020 – 2021)
19. Leonardo Merchan – DSL for IoT discovery (2020)
20. Andres Felipe Carrion – Mining RL python projects (2020)
21. Tomas Orozco – Causality models (2018 – 2020)
22. Edgar Margffoy – Multi-GPU distribution of single-batch, time-dependent linear products (2019-2020)
23. Carlos Mario Cáceres – Multi-Strategy self-adaptive software model for cyber-physical systems (2019-2020)
24. Mauricio Montaña – Cross-language clone detection (2019)
25. Jairo Ariza – Adaptive IoT architectures (2018-2019)
26. Sebastián Sanchez – Evaluation of Distributed ledgers (2018 – 2019)
27. Christian Poveda – Bounded Const Generics in Rust (2018-2019)
28. Juan Camilo Tangarife – Authorization and authentication for IoT devices (2018)
29. Carlos Saavedra – Authorization and authentication for IoT devices (2018)
30. Jorge Humberto Castro – Resolución de Conflictos de Contexto Automatizado por Machine Learning (2017)

Undergrad

1. François
2. Edward Sanchez
3. Mauricio Urrego
4. David Barbosa
5. Andres Julian Bolivar
6. Nicolás Contreras
7. Juan Felipe Carballo (2025)
8. Nicolas Londoño (2025)
9. Santiago Rodriguez (2025)
10. Sebastian Ospino (2025)
11. Camilo Morillo (2024)
12. Felipe Nuñez (2024)
13. Javier Cerino (2024)
14. Juan David Salguero (2024)
15. Juan Camilo Bonet (2024)
16. Isabela Martinez (2024)
17. Sebastian Caceres (2024)
18. Javier David Peniche (2024)
19. Luis Felipe Dussan (2024)
20. Juan Camilo Gonzalez (2024)
21. Camilo Aguilar (2023)
22. Mario Medina (2023)
23. Nicolas Chalee (2023)
24. Daniel Zambrano (2023)
25. Jhoan Díaz (2023)
26. Andres Ochoa (2023)
27. Andres Orozco (2023)
28. Nicolas Angarita (2023)
29. Pietro Erlich (2022)
30. Juan Felipe Rubio (2022)
31. Juan Sebastián Gomez (2021)
32. Miguel Hoyos (2021)
33. Andrés Silva (2021)
34. Yeisson Tarazon (2021)
35. Mateo Salcedo (2020)
36. Gabriel Cubillos (2020)
37. Valentina Chacon (2020)
38. Juan Sebastián Numpaque (2020)
39. Luis Carlos Garavito (2020)
40. Kelvin Estupiñan (2020)
41. Sergio Cardenas (2020)
42. Juan Felipe Ramos (2020)
43. Daniel Agudelo (2020)
44. Juan Sebastián Sosa (2019)
45. Jose Daniel Fandiño (2019)
46. Juan Manuel Lovera (2018)
47. Tomas Venegas (2018)
48. Juan Diego Chaves (2018)
49. Juan Camilo Bages (2018)
50. Santiago Beltran (2017)

Others

• Camilo Cabrera – Master
• Juan Fernando Castañeda – Master

All artifact related to our research are available at our GitHub team: https://github.com/orgs/FLAGlab/teams

Activities of service to the community as a reviewer or as part of the organization committees of scientific events

Organization

• ECOOP 2026 (workshop chair)
• ACSOS 2023-2025 (publicity co-chair) – 2026 (Artifacts co-chair)
• ICSME @ Uniandes, Bogotá Colombia – 2023
• SEAMS – 2022 (OC)
• FSE workshop on Software Testing, A-TEST – LANGETI – 2020, 2021
• Ibero-American Conference on Software Engineering, CibSE – 2018
• Workshop on Live Adaptation of Software SYstems, LASSY – 2016, 2017, 2018
• Workshop on Logic, Languages, Information, and Computation, WoLLIC – 2018

Refereeing and Reviewing

• IEEE Access (2020)
• Journal on Information and Software Technology – (2022)
• Jornal of Object Technology – (2022)
• Transactions on Neural Networks and Learning Systems (2020)
• IEEE Transactions on Systems, Man and Cybernetics: Systems (2016,2017)
• IEEE Transactions on Services Computing (2015)
• IEEE Transactions on Software Engineering (2014)
• Expert Systems with Applications (2014)
• Science of Computer Programming Journal (2013)

Program committees/External reviews

Venue – [# of reviews] (year of review)

• MPLR – [3](2025)
• DSL –
• ACSOS posters – (2021)
• MSR Data showcase – [6](2021)
• Congreso Chileno de Computación [4] (2020)
• ICSME – [3](2020)
• CLEI – [1] (2020), [2](2021), (2022)
• <Programming> [5] (2019), [6](2024)
• Meta Workshop – [3] (2016, 2017)
• Percol Workshop – [2]  (2016)
• European Conference on Object-Oriented Programming (ECOOP) – [3] (2012, 2014)
• COP workshop – [4] (2015, 2017), [2](2022)
• Modularity – [2] (2012, 2014)
• Coordination – [1] (2014)
• DAIS – [1] (2014)
• Software Language Engineering (SLE) – [1] (2012)
• International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI) – [1] (2012)

• 2026. Comunicaciones ultra-seguras en la era de la computación post cuántica. MINCIENCIAS
• 2026. Dual-Tech Bogota. Atenea
• 2026. Semilleros de investigación. Uniandes
• 2024. Modelado y verificación de propiedades cuantitativas para redes de distribución aplicado a la logística humanitaria en zonas de desastre. Uniandes-PUJ_Cali

Education

Academic experience

Non-academic experience

Certifications or professional registrations

Colombia, Professional Card

Current membership in professional organizations

ACM

Honors and awards

—

Service activities (within and outside of the institutions)

• Reviewer IEEE TOSMCS, Program Committee member COP 2017, Organizer LASSY 2016,2017.
• Program Committee member SCLIT 2016,2017, Reviewer FONDECYT project (Chile) 2016.

List of the most important publications and presentations from the past five years

https://scholar.google.com/citations?user=3iTzjQsAAAAJ&hl=en

List the most recent professional development activities

• CITI Program – Research Misconduct
• Engineering School – Teaching Development Seminar

Percentage of time available for research or scholarly activities

Teaching 40%, Research 30% and Curricular Committee 30%.

Percentage of time committed to the program

100% (Full Time)