Sébastien Tixeuil is a Professor at Sorbonne Université, affiliated with LIP6 (CNRS 7606), a leading computer science laboratory in Paris, France. He is a Senior Member of the Institut Universitaire de France (IUF), a prestigious recognition of excellence in research and teaching. His work is centered in the Department of Computer Science within the Faculty of Science and Engineering. His research focuses on the theoretical and practical foundations of distributed systems, with emphasis on fault tolerance, self-stabilization, mobile robotics, and dynamic networks. He investigates how systems can recover from faults autonomously and operate correctly under uncertainty, adversarial conditions, and changing environments. His recent work extends into IoT, blockchain, and formal verification of distributed protocols. The most recent publications highlight trends in distributed decision-making under partial information, autonomous classification of IoT devices, resource-efficient stabilization algorithms, solving combinatorial games like Quixo, and indulgent rendezvous protocols for fault-prone robots. These works reflect a strong integration of formal methods, algorithm design, and real-world applicability in networked and robotic systems. He has been honored as both a Senior Member and previously an Honorary Member of the Institut Universitaire de France, among the highest academic distinctions in France. Current Research Projects: GRIFIN (ANR) TURFU-NET (ANR) CyberNemo (EU) NEMO (EU) Students Supervised: Sébastien Bouchard – Proof assistant for probabilistic robots Alice Di Carlo – Blockchains for Healthcare Organizations Anthony Honorat – Networks of Fat Robots Giovanni Farina – Byzantine Tolerance in Dynamic Networks Adam Heriban – Realistic Robot Networks Nesrine Ammar – Internet of Things He leads or contributes to major collaborative research initiatives funded by the French National Research Agency (ANR) and the European Union. His advising spans PhD and Master’s students, focusing on cutting-edge topics in distributed computing and networked systems. His lab, embedded within LIP6 and the former NPA team (Networks and Systems), fosters interdisciplinary research in autonomic and resilient systems.








