BRACE: Blockchains and the commons (submitted to ERC Advanced call 2017). Blockchain phenomena is similar to the last century gold rush. Blockchain technologies are publicized as being the technical solution for fully decentralizing activities that were for centuries centralized such as administration and banking. Therefore, prominent socio-economical actors all over the world are attracted and ready to invest in these technologies. Despite their large publicity blockchains are far from being a technology ready to be used in critical economical applications and scientists multiply their e-ort in warning about the risks of using this technology before understanding and fully mastering it. Interestingly, many recent attempts to alarm on vulnerabilities of popular blockchains like Bitcoin are target of defenders brigading. BRACE project aims at laying down the theoretical foundations of blockchain technologies. First, we will formally analyze the existing blockchains and understand their limits. Then, we will propose a new modular, scalable and parametrized blockchain architecture formally proven and con-gurable at will to respond to a broad class of applications going from IoT to decentralized banking. Our methodology will cross-over new distributed algorithms with formal methods and mathematics tools, and also government rules issued from self-organized microeconomies. BRACE will be the creeper for strengthening the theoretical research community dedicated to the algorithmic aspects, mathematical and economical tools dedicated to blockchain technologies. In addition to this, BRACE, due to its modular and parametrized architecture, will also have a social and economical active role by becoming a testbed for various social and economical theories at a very large scale. BRACE research will open a new research -eld: theoretical reliable distributed eco-nomical systems that will be a cross research between classical distributed systems, self-organized micro-economies and mathematical and formal methods (a description of BRACE can be found at BRACE-short and BRACE-long.

CNRS PEPS BIPs (2016-2017) project addresses security and storage issues in blockchain systems.

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).