Sébastien Tixeuil - : Research

Printable View

Internship

If you are seeking an internship proposal, you can go to this page. If you do not understand french, please contact me directly.

Current Postdoc

Sébastien Bouchard, Proof assistant for probabilistic robots.

Current Students

Alice Di Carlo (M.S.), Blockchains for Healthcare Organizations.
Anthony Honorat (Ph.D.), Networks of Fat Robots.

Former Postdocs

Raluca Diaconu (January-November 2015), Byzantine fault-tolerance in Dynamic Networks.
Hoang Anh Phan (December 2010-November 2011), Fault-injection in P2P Networks.
Alessia Milani (October 2009-August 2010), Algorithms for Geometric Distributed Problems.
Stéphane Devismes (September 2007-August 2008), Distributed Algorithms for Sensor Networks.
Mariusz Rokicki (March 2007-November 2007), Game Theory for Distributed Systems.
Partha Sarathi Mandal (January 2007-December 2007), Robust Large-scale Sensor Networks.

Former Students

Giovanni Farina (Sorbonne Univ.) (Ph.D. defended December 2020). Byzantine Tolerance in Dynamic Networks.
Adam Heriban (Sorbonne Univ.) (Ph.D. defended December 2020). Realistic Robot Networks.
Nesrine Ammar (Sorbonne Univ.) (Ph.D. defended March 2020). Internet of Things.
Ulysse Léchine (ENS Lyon) (M.S. defended July 2019). Randomized algorithms for mobile robots.
Léo Tible (ENS Cachan) (June-August 2018). Self-stabilization and Game Theory.
Adam Heriban (ENS Cachan) (M.S. defended September 2017). Optimal Gathering.
Walid Benchaita (Univ. Pierre & Marie Curie) (Ph.D. defended December 2016). Self-stabilization of Autonomic Networks.
Quentin Bramas (Univ. Pierre & Marie Curie) (Ph.D. defended October 2016). Passively and Actively mobile Sensors.
Giovanni Farina (M.S. defended december 2016). Byzantine Fault-Tolerance.
François Durand (Univ. Pierre & Marie Curie) (Ph.D. defended September 2015).
Amélie Delga (ENSIIE) (M.S. defended September 2015)
Pedro Lusich (Univ. Pierre & Marie Curie) (M.S. defended July 2015)
Alexandre Maurer (Univ. Pierre & Marie Curie) (Ph.D. defended November 2014).
Mariem Ben Fadhl (Univ. Pierre & Marie Curie) (M.S. defended September 2014).
Quentin Bramas (Univ. Pierre & Marie Curie) (M.S. defended September 2013).
Valentin Del Picollo (Univ. Pierre & Marie Curie) (M.S. defended September 2013).
Rémi Picot (Univ. Pierre & Marie Curie) (M.S. defended September 2013).
Zohir Bouzid (Univ. Pierre & Marie Curie) (Ph.D. defended July 2013).
Fedwa Boubeker (Univ. René Descartes) (M.S. defended September 2012).
Chérifa Daad (Univ. Pierre & Marie Curie) (M.S. defended September 2012).
Kei Delhomme (Japan), (M.S. defended October 2012).
Anthony Honorat (Univ. Pierre & Marie Curie) (M.S. defended September 2012).
Ali Oubaziz (Univ. René Descartes) (M.S. defended September 2012).
Huynh The Dang (Univ. Pierre & Marie Curie) (M.S. defended December 2011).
Swan Dubois (Univ. Pierre & Marie Curie) (Ph.D. defended December 2011). Distributed safety with malicious players.
Nini Zhu (Univ. Pierre & Marie Curie) (M.S. Defended September 2011). Self-stabilizing Maximal Matching Revisited.
Alexandre Maurer (ENS Cachan) (M.S. Defended July 2011). Containing Byzantine Nodes with Control Zones.
Samuel Bernard (Univ. Pierre & Marie Curie) (Ph.D. defended December 2010). Distributed algorithms: defeating the constraints of modern networks.
Asim Ali (Univ. Paris-Sud) (Ph.D. defended September 2010). Robustness in Large Scale Distributed Systems.
Zohir Bouzid (Univ. Versailles Saint Quentin) (M.S. Defended September 2009). Byzantine resilient convergence.
Anissa Lamani (Univ. Pierre & Marie Curie) (M.S. defended September 2009). Symmetry and robot networks.
Julien Lourdelet (Univ. Pierre & Marie Curie) (M.S. defended September 2009). P2P MMORPGs.
Olga Melekhova (Univ. Pierre & Marie Curie) (M.S. defended September 2008). Robot Networks.
Mickael Smagghue (Univ. Marne la Vallée) (M.S. defended September 2008). Peer-to-peer Online Video Games.
William Hoarau (Univ. Paris-Sud) (Ph.D. defended March 2008). Fault injection in distributed systems.
Praveen Kumar Danturi (Kent State Univ.) (M.S. defended february 2007). Self-stabilizing Philosophers with Generic Conflicts.
Mathieu Bergounioux (Univ. Paris-Sud) (M.S. defended september 2006). Protocol Evaluation in Sensor Networks.
Selim Bessassi (Supelec) (M.S. defended september 2006). Distributed approximation and self-stabilization.
Fabien Vauchelles (Univ. Paris-Sud) - (M.S defended september 2005). Fault injection in distributed java applications.
Toussaint Guglielmi (Univ. Paris-Sud) - (M.S defended september 2004). Fault injection middleware.
William Hoarau (Univ. Paris-Sud) - (M.S. defended july 2004). Fault injection specification language.
Venkat Krishnan (Univ. of Nevada Las Vegas) - (M.S. defended may 2004). Stabilizing IDPR.
Isai Arasu (Univ. of Nevada Las Vegas) - (M.S. defended may 2004). Self-stabilizing wormhole routing in hypercubes.
Denis Fortin (Univ. Paris-Sud) - (M.S. defended september 2003). Routing protocol simulation with NS-2.
Narcisa Alprecht (Univ. of Nevada Las Vegas) - (M.S. defended february 2003). Leader Election in a Ring Network.
Wei Huang (Univ. of Nevada Las Vegas) - (M.S. defended october 2002). Distributed Synchronizers in Network Simulator Software.
Ludovic Cintrat (Univ. Paris-Sud) - (M.S. defended september 2002). Searching with mobile agents in a network with liars.
Duy-So Nguyen (Univ. Paris 8) - (M.S. defended september 2002). Self-stabilization of inter-domain routing.
Anthony B. Kenitzki (Univ. of Nevada Las Vegas) - (M.S. defended may 2002). Self-stabilizing wormhole routing.
Yu Chen (Univ. of Nevada Las Vegas) - (M.S. defended december 2000). Self-stabilizing Border Gateway Protocol.