Welcome to Giuliano’s homepage

New: Brief Announcement accepted at DISC 2023: Byzantine Consensus Under Dynamic Participation with a Well-Behaved Majority. Pre-print and TLA+ specifications

New: A new take on the famous FLP impossibility result: Time is not a Healer, but it Sure Makes Hindsight 20:20

New: Semitopology: a new topological model of heterogeneous consensus

New: Consensus in the Unknown-Participation Message-Adversary Model

New: Quorum Systems in Permissionless Networks, with Christian Cachin and Luca Zanolini (paper accepted at OPODIS 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).