I currently study self*(self-organizing, self-healing and self-stabilizing) and secure static and dynamic distributed systems (e.g. P2P, sensors and robot networks and distributed ledgers). I am interested in designing and proving the correctness of time and memory efficient distributed algorithms in these systems. I focus in particular the conception of fundamental distributed building blocks such as communication primitives (eg. broadcast, convergecast etc), the design of self* overlays (eg. spanning trees, P2P overlays etc), the coherence and resource allocation problems, leader election and agreement problems. I also study multi faults and attacks in both static and dynamic distributed systems.

The list of my publications can be found here.

My googlescholar entry.

My scopus entry.