Présentation
Je suis professeur en informatique à Bordeaux INP et chercheur senior au LaBRI. Mes travaux s’inscrivent historiquement dans le domaine des systèmes distribués et algorithmes distribués, avec des contributions de long terme en méthodes formelles et en vérification de systèmes concurrents.
Mes recherches ont évolué vers l’étude de systèmes complexes, critiques et cyber-physiques, en particulier dans le domaine des transports intelligents et de la mobilité coopérative. Je m’intéresse à l’apport des méthodes formelles, de la vérification et de la conception sûre pour le déploiement de services de mobilité fiables, résilients et fondés sur les données.
Je pilote la Chaire Mobilité & Transports Intelligents (MTI), qui fédère des partenaires
académiques, industriels et institutionnels autour de la recherche, de la formation et de
l’expérimentation en ITS coopératifs, services de mobilité intelligente et résilience des systèmes de transport.
Pages de la chaire :
Fondation
·
Bordeaux INP
·
LinkedIn
Projets et responsabilités scientifiques
- Chaire Mobilité & Transports Intelligents (MTI) — Pilotage scientifique d’une chaire dédiée aux ITS coopératifs et à la mobilité intelligente, fédérant des partenaires académiques, industriels et institutionnels.
- Partenariat KB2M (Keolis Bordeaux Métropole Mobilités) — Responsable scientifique pour l’Université de Bordeaux et Bordeaux INP du partenariat de recherche et d’expérimentation, en appui au Lab TBMouv! et aux dispositifs de living lab campus/territoire.
- Thèse CIFRE (université de Bordeaux/ Keolis Lab TBMouv!) — Directeur scientifique de la thèse : résilience climatique des systèmes de transport public par analyse de données opérationnelles (maintenance, incidents, exploitation et contexte).
- SCALE (CEF Europe) — Responsable scientifique local pour les activités d’expérimentation et de validation C-ITS sur les sites pilotes bordelais (lien).
- SIMON — Co-responsable pour Bordeaux INP du projet portant sur la surveillance, la maintenance et la résilience des infrastructures ferroviaires non structurantes, en collaboration avec Ferrocampus et des partenaires industriels (lien).
- R3MOB — Porteur du réseau régional de recherche sur les nouvelles mobilités, visant à structurer la communauté scientifique, favoriser le partage de données, soutenir l’expérimentation et éclairer la décision publique à l’échelle territoriale de la Région Nouvelle-Aquitaine (site, LinkedIn).
Distinctions
Publications
Liste complète et à jour via : DBLP, HAL, Google Scholar, ResearchGate.
Responsabilités scientifiques (sélection)
- Program Co-Chair — International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2026)
- Program Co-Chair — International Conference on Model and Data Engineering (MEDI 2023) (LNCS Springer)
- Chair — International Symposium on Foundations & Practice of Security (FPS 2023) (site)
- Chair / Co-Chair — International Conference on Information & Communication Technology and Accessibility (ICTACT 2019) (LNCS Springer)
- Co-Chair — International Conference on Risks and Security of Internet and Systems (CRiSIS 2018) (LNCS Springer)
- General Co-Chair — Distributed Computing for Emerging Smart Networks (DiCES-N : 2025, 2023, 2021, 2020, 2019)
Contact
Affiliation :
Bordeaux INP
LaBRI (UMR CNRS 5800, Bordeaux INP et université de Bordeaux)
Adresse :
LaBRI – 351 cours de la Libération
33405 Talence, France
Courriel :