Experiencia
Mi trayectoria académica y profesional.
Profesor Asociado
Profesor Asociado en Informática Teórica en la Facultad de Ciencia y Tecnología. Impartiendo docencia en EPISEN (Universidad Paris-Est Créteil) y realizando investigación en métodos formales y ciberseguridad.
Investigador Postdoctoral
Investigación en Ciberseguridad y Métodos Formales. 100% de dedicación a investigación. Supervisado por los profesores Jean Leneutre y Vadim Malvone en el grupo de Sistemas Embebidos Autónomos y Críticos (ACES) del laboratorio LTCI.
Investigador Postdoctoral
Investigación sobre Escalamiento de Variabilidad. 100% de dedicación a investigación. Supervisado por el Prof. Pierre-Yves Schobbens. Financiado por la Universidad de Namur.
Ingeniero de Investigación
Ingeniero de Investigación en el proyecto D-DAMS. 100% de dedicación a investigación. Financiado por la Región Valona (Bélgica).
Ingeniero de Investigación
Ingeniero de Investigación en el proyecto TPA (Teoría y Práctica de Autómatas y Lógica). 100% de dedicación a investigación. Financiado por la Región Valona (Bélgica).
Doctorado en Informática
Tesis: Modelado y Verificación de Sistemas Distribuidos y de Tiempo Real usando Autómatas Temporizados con Relojes Parcialmente Independientes. Laboratorio: Namur Digital Institute (PReCISE/FOCUS/NADI). Supervisor: Prof. Pierre-Yves Schobbens. Defendida en Namur, abril de 2023.
Maestría en Informática
Maestría en Ciencias de la Computación en la Universidad del Valle, Colombia.