Research

• On The Road Again (Safely): Modelling and Analysis of Autonomous Driving with STARK

 11th International Conference on Rigorous State-Based Methods (ABZ), June 2025.

• MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-based Systems 

 Journal of Software Testing, Verification and Reliability (STVR), November 2024.

• Fairness and Consensus in an Asynchronous Opinion Model for Social Networks 

35th International Conference on Concurrency Theory (CONCUR), September 2024.

• Applying parallelism to a bisimulation algorithm to improve efficiency in software testing of time-critical systems

Journal Ingeniería y Competitividad Vol. 25, November 2023. Based on my thesis: A parallel algorithm to compute strong timed bisimulation

• Formal Verification of a Mechanical Ventilator using UPPAAL 

9th ACM International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS), October 2023.

Education

Engineering degree in Computer Science ▪ July 2017 – July 2023

Universidad del Valle ▪ Cali, Colombia

I got a complete tuition scholarship for being in the top 5 best students every semester, with a 92% final grade average. 

I got a Summa cum laude distinction for my thesis "A parallel algorithm to compute strong timed bisimulation"

I was ranked in the 1% of national best scores of the SABER PRO graduate exam (the colombian GRE).

Exchange student, Informatics ▪ July 2021 – July 2022

Technical University of Cologne (TH Köln) ▪ Cologne, Germany

Thanks to the KOSPIE-DAAD scholarship, granted to the top 8% of applicants.

Experience

Research Assistant ▪ Sept. 2022 – July 2024

Pontificia Universidad Javeriana ▪ Cali, Colombia

• Researching social networks and distributed systems formalisms to model political opinion and polarization.

• Used Python and Java to implement cutting-edge opinion prediction models.

• Chosen amongst collaborators to present our results at the modèles formels pour les réseaux sociaux conference in Paris, France.

Backend Software Engineer ▪ Sept. 2021 – Sept. 2022

FINN GmbH ▪ Munich, Germany

• Created web infrastructure to enable the company to scale beyond 20,000 subscriptions and reach 40 million euros in anual recurring revenue.

• Developed backend functionalities with Typescript, Python, PostgreSQL, AWS services and business automation tools like Hubspot, IFTTT or Google Apps Script.

Volunteer: Strategic Partnerships ▪ July. 2022 – Jan. 2023

Techdalo ▪ Germany & Colombia

• Managed kids from low-income backgrounds to get them the best opportunities academically and professionally.

• Taught these colombian students web development tools to improve their changes of finding a job.

• Established connections and partnerships in Colombia as an german organization representative.

Web Developer ▪ Feb. 2020 – May 2021

Estrategia ASES ▪ Cali, Colombia

• Extended and maintained a portal embedded in Moodle tailored to assist 2000 students.

• Fullstack development with PHP, JavaScript, jQuery, Bootstrap and development tools like Git, GitLab pipelines or JIRA.

Languages

• Spanish: Native

• English: Fluent (Certified C1)

• German: Advanced (B2)