Experience

Experience

My academic and professional journey.

September 2025 - Present

Associate Professor

LACL (Université Paris-Est Créteil), France

Associate Professor in Theoretical Computer Science at the Faculty of Science and Technology. Teaching at EPISEN (Université Paris-Est Créteil) and conducting research in formal methods and cybersecurity.

February 2024 - August 2025

Post-Doctoral Researcher

Institut Polytechnique de Paris (Télécom Paris), France

Research on Cybersecurity and Formal Methods. 100% research time allocation. Supervised by Profs. Jean Leneutre and Vadim Malvone in the Autonomous and Critical Embedded Systems (ACES) group at LTCI laboratory.

July 2023 - January 2024

Post-Doctoral Researcher

University of Namur, Belgium

Research on Scaling Up Variability. 100% research time allocation. Supervised by Prof. Pierre-Yves Schobbens. Funded by University of Namur.

2015 - 2017

Research Engineer

University of Namur, Belgium

Research Engineer on D-DAMS project. 100% research time allocation. Funded by Wallonne Region (Belgium).

2011 - 2015

Research Engineer

University of Namur, Belgium

Research Engineer on TPA (Automata and Logic Theory and Practice) project. 100% research time allocation. Funded by Wallonne Region (Belgium).

2017 - 2023

Ph.D. in Computer Science

University of Namur, Belgium

Thesis: Modeling and Verifying Distributed and Real-Time Systems using Timed Automata with Partially Independent Clocks. Laboratory: Namur Digital Institute (PReCISE/FOCUS/NADI). Supervisor: Prof. Pierre-Yves Schobbens. Defended in Namur, April 2023.

2006 - 2008

M.Sc. in Computer Science

Universidad del Valle, Colombia

Master of Science in Computer Science at Universidad del Valle, Colombia.