Presentation
I am a Professor of Computer Science at Bordeaux INP and a senior researcher at LaBRI. My work is historically rooted in the field of distributed systems and distributed algorithms, with long-standing contributions to formal methods and the verification of concurrent systems.
My research has progressively evolved toward the study of complex, safety-critical, and cyber-physical systems, particularly in the area of intelligent transportation systems and cooperative mobility. I am interested in the contribution of formal methods, verification, and dependable system design to the deployment of reliable, resilient, and data-driven mobility services.
I currently lead the Mobility & Intelligent Transport Systems Chair (MTI),
which brings together academic, industrial, and institutional partners around
research, education, and experimentation in cooperative ITS,
smart mobility services, and the resilience of transportation systems.
Chair pages:
Foundation
·
Bordeaux INP
·
LinkedIn
Projects and Scientific Responsibilities
- Mobility & Intelligent Transport Systems Chair (MTI) — Founder and scientific lead of a chair bringing together academic, industrial and institutional partners.
- KB2M partnership (Keolis Bordeaux Métropole Mobilités) — Scientific lead for the University of Bordeaux and Bordeaux INP of the research and experimentation partnership.
- CIFRE PhD (University of Bordeaux / Keolis, Lab TBMouv!) — Scientific supervisor of an industrial PhD on the climate resilience of public transport systems, based on large-scale operational data analysis.
- SCALE (EU CEF) — Local scientific lead for C-ITS experimentation and validation activities on the Bordeaux pilot sites (link).
- SIMON — Co-lead for Bordeaux INP of the project on surveillance, maintenance and resilience of non-structuring railway infrastructures (link).
- R3MOB — Lead institution of the regional research network on new mobilities, aiming to structure the scientific community, foster data sharing, support experimentation and inform territorial decision-making (website, LinkedIn).
Awards and Honors
- Research & Innovation Prize, Fondation Bordeaux Université — Gala Awards 2021 (announcement) (video)
- French Academic Palms — "Chevalier (2012), Officier (2017)" Knight (2012), Officer (2017). National distinction awarded by the French Republic in recognition of distinguished contributions to higher education, research, and academic service.
- Who’s Who in France — nomination 2025 (profile)
Publications
An up-to-date list of publications is available via DBLP, HAL, Google Scholar, and ResearchGate.
Academic Service (selected)
- 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) (conference 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, University of Bordeaux and Bordeaux INP)
Address:
LaBRI – 351 cours de la Libération
33405 Talence, France
Email: