Section: Research Program

Introduction

We study overlay networks and peer-to-peer systems. Our skills are applied to studying protocols to interconnect heterogeneous networks, while guaranteeing backward compatibility. We experiment with those networks and systems in various fields, such as social networks and video streaming.

We design and implement a generic social platform, which is able to “program” and “run” (in a cloud based platform hosting a NoSQL data base) generic social networks. This is the first step towards a full decentralized P2P-based social network platform.

We also study Trust and Reputation Systems for P2P networks, and for Network Web Economy.

The final objective of those research veins is to move the computer and the computability at the edge of the network.

As another topic, we also study logics and type theory for improving proof assistants based on the Curry-Howard Isomorphism.