Welcome to Giuliano’s homepage

New: Quorum Systems in Permissionless Networks, with Christian Cachin and Luca Zanolini (paper accepted at OPODIS 2022)

New: draft paper about quorum systems and semi-topology and 3-minutes video presentation (lightning talks at SBC 2022)

Painting of Giuliano

I am interested in distributed-systems analysis, design, and implementation aided by formal methods. For example, I have recently worked on formally verifying BFT-consensus algorithms such as Tendermint and the Stellar Consensus Protocol.

I work for the Stellar Development Foundation.

You can email me at giuliano at losa.fr for personal matters and at giuliano at stellar.org for work-related matters.

I also have a one-post blog on this website.

Recent publications and artifacts

FRIDA Workshop

I helped organize the 2021 Workshop on Formal Reasoning in Distributed Algorithms (FRIDA). You can find the videos of the talks on Youtube: Monday’s session and Friday’s session.

In 2020, Marijana Lazić and myself organized the "2020 Workshop on Formal Reasoning in Distributed Algorithms (FRIDA). You can find the videos of the talks on the QONFEST YouTube channel (search for FRIDA in video titles).