Expérience
Mon parcours académique et professionnel.
Maître de Conférences
Maître de Conférences en Informatique Théorique à la Faculté des Sciences et Technologies. Enseignement à l'EPISEN (Université Paris-Est Créteil) et recherche en méthodes formelles et cybersécurité.
Chercheur Post-Doctoral
Recherche en Cybersécurité et Méthodes Formelles. 100% de temps dédié à la recherche. Supervisé par les professeurs Jean Leneutre et Vadim Malvone dans le groupe Systèmes Embarqués Autonomes et Critiques (ACES) du laboratoire LTCI.
Chercheur Post-Doctoral
Recherche sur la Montée en Échelle de la Variabilité. 100% de temps dédié à la recherche. Supervisé par le Prof. Pierre-Yves Schobbens. Financé par l'Université de Namur.
Ingénieur de Recherche
Ingénieur de Recherche sur le projet D-DAMS. 100% de temps dédié à la recherche. Financé par la Région Wallonne (Belgique).
Ingénieur de Recherche
Ingénieur de Recherche sur le projet TPA (Théorie et Pratique des Automates et de la Logique). 100% de temps dédié à la recherche. Financé par la Région Wallonne (Belgique).
Doctorat en Informatique
Thèse: Modélisation et Vérification de Systèmes Distribués et Temps Réel utilisant des Automates Temporisés avec Horloges Partiellement Indépendantes. Laboratoire: Namur Digital Institute (PReCISE/FOCUS/NADI). Superviseur: Prof. Pierre-Yves Schobbens. Défendue à Namur, avril 2023.
Master en Informatique
Master en Informatique à l'Universidad del Valle, Colombie.