Quentin Bramas

I am a Associate Professor (Maître de conférences) at the University of Strasbourg, France. I am a member of ICUBE Laboratory in the Networks Team. I am also currently (2023-2024) at 50% part of the LIP6 laboratory in Paris.

I am working on:

• Autonomous mobile robots
• Distributed Ledgers
• Wireless Sensor Networks
• Dynamic graphs

I have done my Phd with Professor Sébastien Tixeuil at Lip6, in Paris, in 2016. Before that, I studied mathematics at the University of Clermont-Ferrand and computer science at the University of Paris 5.

Projects

• 2025 - 2029: Coordinator of the ANR TSIA Project: TURFU-Net: Transcending the Usual Rationale for the Future of Ubiquitous NETworks
• 2023 - 2027: Coordinator of an ANR JCJC: BASE-BLOC: Better Algorithms for Secure and Efficient Blockchains

Participation to conference committees

• PC member of AlgoTel 2018.
• PC member of ADHOC-NOW 2019.
• PC member of ADHOC-NOW 2020.
• PC co-chair of Tokenomics 2020.
• General Chair of OPODIS 2020, 14-16 December, online https://opodis2020.unistra.fr
• General Chair of OPODIS 2021, 13-15 December, Strasbourg https://opodis2021.unistra.fr
• PC chair of Algotel 2021
• PC member of Tokenomics 2021.
• PC member of SSS 2021
• PC member of ICDCN 2022
• PC member of FAB 2022
• PC member of Tokenomics 2022
• PC member of AlgoTel 2022
• PC member of OPODIS 2022
• PC member of AlgoTel 2023
• Steering commitee of OPODIS 2023-2025
• PC member of ICDCIT2023
• PC member of AlgoTel 2024
• PC Track co-chair of SSS2024
• PC co-chair of ALGOWIN2024
• PC Track co-chair of ICDCIT2025
• PC member of ALGOWIN2025
• PC member of SAND2025
• PC member of SSS2025
• PC member of AlgoTel 2025
• PC member of OPODIS 2025

Previous students

Supervision of Phd. students

• Jean-Romain Luttringer (defended in 2022) Path computation algorithms in IP networks : reliable hot-potato routing & deployable multi-constrained tunnels
• Jean-Philippe Abegg (defended in 2022) Security and efficiency of blockchain technologies applied to internet-of-things application

Master students

• Amina Moalla (2025) Study of Gray Failures in Computer Networks : Taxonomy and Data Generation
• Thomas Lelièvre (2024) Optimizing the Fork Probability in Proof-of-Interactions Blockchains
• Omar Darwich (2022) Adaptabilité dans les réseaux de robots autonomes
• Arthur Rauch (2021) Les robots autonomes pour l’exploration et la dispersion en milieu hospitalier

L2-L3-M1 students

• Arno Paumier (2025) Analyse de la base de données DBLP
• Romain Bourdain (2024) Création d'un langage de programmation pédagogique pour la vérification de programmes concurrents
• Jean-Marie Oysel (2019) Une preuve formelle d’un problème avec le langage Coq
• Vidal Attias (2018) Tangle analysis for IOTA cryptocurrency