Experience

  1. Researcher & Lecturer

    University of Namur (UNamur) – Research Center on Information Systems Engineering

    Responsibilities include:

    • Conducting research in formal verification, timed automata, and model-based testing for real-time systems
    • Supervising and mentoring master’s and bachelor’s students
    • Teaching graduate and undergraduate courses (Model Verification, Programming 2)
  2. Lecturer & Program Coordinator

    Universidad del Valle, Colombia

    Responsibilities included:

    • Teaching courses in discrete mathematics, programming fundamentals, and programming languages
    • Coordinating academic programs in systems engineering

Education

  1. PhD in Computer Science

    University of Namur (UNamur), Belgium
    Thesis: Modeling and Verifying Distributed and Real-Time Systems using Timed Automata with Partially Independent Clocks.
    Supervised by Prof. Pierre-Yves Schobbens, Prof. Jean-François Raskin, and Prof. Stavros Tripakis.
    Contributions include publications in IJCAI, AAMAS, and STVR, and tool development such as MUPPAAL.
    Read Thesis
  2. BSc in Systems Engineering

    Universidad del Valle, Colombia

    Undergraduate degree focused on software engineering, algorithms, and computer systems.
    Courses included:

    • Discrete Mathematics
    • Programming Fundamentals
    • Programming Languages
Skills & Hobbies
Technical Skills
Formal Verification

Verification of distributed and real-time systems

Timed Automata

Modeling and analysis of time-dependent systems

Model-Based Testing

Mutation testing and mutant reduction techniques

Temporal & Dynamic Logics

Obstruction Logic, Timed Obstruction Logic, timed games

Programming

Python, Java, and formal modeling languages

Academic Interests
Safety-Critical Systems

Reliability and verification methods

Game Theory in Computing

Reasoning in timed and dynamic games

Tool Development

Building efficient verification and testing tools

Awards
Neural Networks and Deep Learning
Coursera ∙ November 2023
I studied the foundational concept of neural networks and deep learning. By the end, I was familiar with the significant technological trends driving the rise of deep learning; build, train, and apply fully connected deep neural networks; implement efficient (vectorized) neural networks; identify key parameters in a neural network’s architecture; and apply deep learning to your own applications.
Blockchain Fundamentals
edX ∙ July 2023

Learned:

  • Synthesize your own blockchain solutions
  • Gain an in-depth understanding of the specific mechanics of Bitcoin
  • Understand Bitcoin’s real-life applications and learn how to attack and destroy Bitcoin, Ethereum, smart contracts and Dapps, and alternatives to Bitcoin’s Proof-of-Work consensus algorithm
Object-Oriented Programming in R
datacamp ∙ January 2023
Object-oriented programming (OOP) lets you specify relationships between functions and the objects that they can act on, helping you manage complexity in your code. This is an intermediate level course, providing an introduction to OOP, using the S3 and R6 systems. S3 is a great day-to-day R programming tool that simplifies some of the functions that you write. R6 is especially useful for industry-specific analyses, working with web APIs, and building GUIs.
See certificate
Languages
100%
Spanish
98%
French
95%
English
95%
Portuguese