Welcome to Giuliano’s homepage

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