Welcome to Giuliano’s homepage

Together with Swen Jacobs, I am co-organizing the Workshop on Formal Reasoning in Distributed Algorithms, which will take place in Montreal on July 23rd; send us an abstract to get a chance to give a talk!

New: I am a member of the program committee of the 43rd ACM Symposium on Principles of Distributed Computing (PODC)

New: Book draft with Jamie Gabbay, "Semitopology: distributed collaborative action via topology, algebra, and logic"

New: In October I co-organized with Christian Cachin the Workshop on Heterogeneous Trust in Distributed Systems. The recordings are now available on Youtube

New: Brief Announcement: Byzantine Consensus Under Dynamic Participation with a Well-Behaved Majority (DISC 2023). See also a version with TLA+ specifications and the github repository with all the TLA+ specifications and a proof in Isabelle/HOL

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

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