Home page > Research > Research projects > Recent projects

Recent projects

Tuesday 8 November 2011, by Maria Potop-Butucaru

I am/was involved in the following ANR and regional projects: Pactole, Shaman, R-DISCOVER, IRIS. For the SHAMAN and R-DISCOVER projects I am the local coordinator.

SMART-BAN - financed by the LABEX SMART - This project focus protocols for Body Area Networks local coordinator

SHAMAN is an ANR founded project that focus on models and algorithms for dynamic networks - local coordinator

R-DISCOVER is also an ANR founded project that focus on efficient exploration of unknown areas by a network of robots - local coordinator

Pactole project addresses issues in the verification of distributed systems.

IRIS is an ANR project that focus on the conception and validation of protocols for sensor networks.

Recently, I was coordinator of the LIP6 research projects MOTAR 1 and 2 (conception and proof of distributed algorithms for robot networks) and AFRAID (verification of distributed algorithms for robot networks).