Computer Scientist | Researcher in Formal Methods, Timed Automata, Cybersecurity and Model-Based Testing
I am a researcher at the Faculty of Computer Science, University of Namur (UNamur), and a member of the Research Center on Information Systems Engineering.
My work focuses on formal verification, timed automata, model-based testing, and temporal/dynamic logics for real-time systems.
I have contributed to developing advanced mutation testing techniques for timed models, new logical frameworks for reasoning about dynamic games, and efficient verification tools such as MUPPAAL.
My research blends theoretical foundations with practical tool development, aiming to improve the reliability and performance of safety-critical and time-sensitive systems.
- Formal Methods: Verification of real-time and distributed systems
- Timed Automata: Modeling and analysis of time-dependent behaviors
- Model-Based Testing: Mutation testing, mutant reduction, and test quality improvement
- Temporal & Dynamic Logics: Obstruction Logic, Timed Obstruction Logic
- Game Theory in Computing: Timed games, dynamic scenarios, coalition reasoning
- Safety-Critical Systems: Reliability, testing, and verification tools
- 2025 – Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason about Demon Coalitions (IJCAI)
- 2025 – Timed Obstruction Logic: A Timed Approach to Dynamic Game Reasoning (AAMAS)
- 2024 – MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-based Systems (Software Testing, Verification and Reliability, e1907)
- 2024 – Time for Networks: Mutation Testing for Timed Automata Networks
- 2017 – Multi-timed bisimulation for distributed timed automata (NASA Formal Methods Symposium)
A full list of publications is available on my Google Scholar profile.
- Ph.D. in Computer Science – University of Namur, Belgium (2023)
Thesis: Modeling and Verifying Distributed and Real-Time Systems using Timed Automata with Partially Independent Clocks - B.Sc. in Systems Engineering – Universidad del Valle, Colombia (2001)
- Citations: 71 total (44 since 2020)
- h-index: 5 (4 since 2020)
- i10-index: 2
- Indexed Works: 29 research outputs on UNamur’s institutional portal
- CFV – Federated Centre for Software Verification
- THCS – Testing Highly-configurable Systems
- Doctoral Research – Formal Methods for the Verification of Distributed Timed Systems
- INFOM471 – Vérification de modèles (M.Sc. in Software Engineering / Data Science)
- IHDCB132 – Programmation 2 (B.Sc. in Computer Science)
International collaborations with researchers in Brazil, Luxembourg, France, Belgium