Je suis CR2 CNRS dans l'équipe MoVe du LIF à Marseille depuis le 1er Octobre 2007.

Auparavant, j'ai effectué une thèse au LaBRI à Bordeaux sous la direction d'Yves Métivier que j'ai soutenue le 24 novembre 2006. Le titre de ma thèse est Algorithmique distribuée, calculs locaux et homomorphismes de graphes et le manuscrit est disponible ici.

Durant ma thèse, j'ai principalement travaillé sur des problèmes d'algorithmique distribuée. Je m'intéresse particulièrement à déterminer ce qu'on peut calculer de manière distribuée dans différents modèles lorsque les processus ne disposent pas d'identifiants uniques.

J'ai aussi travaillé sur des problèmes de théorie des graphes, de théorie des semigroupes et de combinatoire des mots.

Une description plus détaillée de mes activités de recherche est disponible ici (dernière mise à jour: janvier 2007).

-- Publications --

• Election in Partially Anonymous Networks with Arbitrary Knowledge in Message Passing Systems
  avec Emmanuel Godard et Yves Métivier
  Distributed Computing , to appear.

• Mapping Simple Polygons: How Robots Benefit from Looking Back
  avec Shantanu Das, Yann Disser, Matus Mihalak et Peter Widmayer
  Algorithmica, to appear.

• Cop and robber games when the robber can hide and ride
  avec Victor Chepoi, Nicolas Nisse et Yann Vaxès
  SIAM Journal of Discrete Mathematics, 25(1):333-359, 2011.

• Graph labelings derived from models in distributed computing: a complete complexity classification
  avec Daniël Paulusma
  Networks, 58(3):207-231, 2011.

• On the power of synchronization between two adjacent processes
  avec Yves Métivier
  Distributed Computing 23(3):177-196, 2010.

• Planar graphs have 1-string representations
  avec Daniel Gonçalves et Pascal Ochem
  Discrete and Computational Geometry 43(3):626-647, 2010.

• Dejean's conjecture and letter frequency
  avec Pascal Ochem
  RAIRO-ITA 42(3):477-480, 2008.

• Election and rendezvous with incomparable labels
  Theoretical Computer Science 399(1-2):54-70, 2008.

• An efficient message passing election algorithm based on Mazurkiewicz's algorithm
  avec Yves Métivier
  Fundamenta Informaticae 80(1-3):221-246, 2007.

• Local computations in graphs: the case of cellular edge local computations
  avec Yves Métivier et Wiesław Zielonka
  Fundamenta Informaticae 74(1):85-114, 2006.

• On factorization forests of finite height
  avec Hing Leung
  Theoretical Computer Science 310(1-3):489-499, 2004.

• Computing with Pavlovian Populations
  avec Olivier Bournez, Johanne Cohen, Xavier Koegler et Mikaël Rabie
  OPODIS 2011.

• Black Hole Search with Finite Automata Scattered in a Synchronous Torus
  avec Shantanu Das, Arnaud Labourel et Euripides Markou
  DISC 2011.

• Tight bounds for black hole search with scattered agents in rings
  avec Shantanu Das, Arnaud Labourel et Euripides Markou
  SIROCCO 2011.

• Telling convex from reflex allows to map a polygon
  avec Shantanu Das, Yann Disser, Matus Mihalak et Peter Widmayer
  STACS 2011, 153-164.

• Constructing a Map of an Anonymous Graph: Applications of Universal Sequences
  avec Shantanu Das et Adrian Kosowski
  OPODIS 2010, LNCS 6490, 119-134.

• Rendezvous of Mobile Agents in Directed Graphs
  avec Shantanu Das et Peter Widmayer
  DISC 2010, LNCS 6343, 282-296.

• Network Exploration by Silent and Oblivious Robots
  avec Paola Flocchini, Bernard Mans et Nicola Santoro
  WG 2010, LNCS 6410, 208-219.

• Rendezvous of Mobile Agents without Agreement on Local Orientation
  avec Shantanu Das
  ICALP 2010, LNCS 6199, 515-526.

• How simple robots benefit from looking back
  avec Shantanu Das, Yann Disser, Matus Mihalak et Peter Widmayer
  CIAC 2010, LNCS 6078, 229-239.

• Packing Bipartite Graphs with Covers of Complete Bipartite Graphs
  avec Daniël Paulusma
  CIAC 2010, LNCS 6078, 276-287.

• Every Planar Graph is the Intersection Graph of Segments in the Plane (version longue)
  avec Daniel Gonçalves
  STOC 2009, 631-638.

• Playing with population protocols
  avec Olivier Bournez, Johanne Cohen et Xavier Koegler
  CSP 2008, 3-15.

• Local Terminations and Distributed Computability in Anonymous Networks
  avec Emmanuel Godard et Yves Métivier
  DISC 2008, LNCS 5218, 47-62.

• Labelled (Hyper)Graphs, Negotiations and the Naming Problem
  avec Antoni Mazurkiewicz et Yves Métivier
  ICGT 2008, LNCS 5214, 54-68.

• Rendezvous of mobile agents in unknown graphs with faulty links
  avec Shantanu Das et Nicola Santoro
  DISC 2007, LNCS 4731, 108-122.

• About the termination detection in the asynchronous message passing model
  avec Emmanuel Godard, Yves Métivier et Gerard Tel
  SOFSEM 2007, LNCS 4362, 200-211.

• Planar graphs are in 1-STRING
  avec Daniel Gonçalves et Pascal Ochem
  SODA 2007, 609-617.

• Mobile agent algorithms versus message passing algorithms
  avec Emmanuel Godard, Yves Métivier et Rodrigue Ossamy
  OPODIS 2006, LNCS 4305, 187-201.

• Groupings and pairings in anonymous networks
  avec Shantanu Das et Nicola Santoro
  DISC 2006, LNCS 4167, 105-119.

• Dejean's conjecture and letter frequency
  avec Pascal Ochem
  Journées Montoises d'Informatique Théorique 2006, 121-124.

• Election in the qualitative world
  SIROCCO 2006, LNCS 4056, 85-99.

• Graph labelings derived from models in distributed computing
  avec Daniël Paulusma
  WG 2006, LNCS 4271, 301-312.

• A bridge between the asynchronous message passing model and local computations in graphs
  avec Yves Métivier
  MFCS 2005, LNCS 3618, 212-223.

• Local computations on closed unlabelled edges: the election problem and the naming problem
  SOFSEM 2005, LNCS 3381, 81-90.

• Election, naming and cellular edge local computations
  avec Yves Métivier et Wiesław Zielonka
  ICGT 2004, LNCS 3256, 242-256.

• Election and local computations on edges
  avec Yves Métivier
  FOSSACS 2004, LNCS 2987, 90-104.

J'ai effectué mon stage de DÉA au LaBRI avec Yves Métivier.
On a étudié la puissance des calculs locaux sur les arêtes à travers l'étude des problèmes de l'élection et du nommage.
mémoire --- transparents

Dans le cadre d'un stage de Maitrîse, j'ai travaillé avec Hing Leung au département d'Informatique de l'Université de l'État du Nouveau Mexique (NMSU).
On a travaillé sur les factorisations ramseyennes de mots finis.
rapport de stage (en anglais)  ---  transparents

Dans le cadre d'un stage de Licence, j'ai travaillé avec Alain Finkel au LSV.
Cela parle des représentations et de l'algorithmique des ensembles semi-linéaires.
rapport de stage  ---  transparents