Hello, my name is Giuliano Losa, and I am interested in the rigorous design, analysis, and implementation of distributed systems aided by formal methods.

I work at the Stellar Development Foundation, where, with the help of our CTO Nicolas Barry, I started SDF Research.

Before that, in reverse chronological order, I worked at Galois, at UCLA (as a postdoc), at Virginia Tech (as a postdoc and briefly as a research assistant professor), at ELCA, Switzerland, as a software engineer, and I obtained a PhD in computer science from EPFL, Switzerland.

News

New paper: Giulian Losa (Stellar Development Foundation), Yifan Mao (Ohio State University), Shaileshh Bojja Venkatakrishnan (Ohio State University), and Yunqi Zhang (Ohio State University). Constellation: Peer-to-Peer Overlays for Federated Byzantine Agreement Systems. FC 2025. Preprint.

In September, I participated in the Dagstuhl seminar “Next-Generation Secure Distributed Computing” and I gave a talk on verifying liveness of consensus protocols (Slides and specifications) at the TLA+ Community Event in Milan, Italy.

Together with Swen Jacobs, I am co-organizing the Workshop on Formal Reasoning in Distributed Algorithms (FRIDA), which will take place in Montreal on July 23rd.

I am a member of the program committee of the 2024 TLA+ Community Event, which will take place in Milan on September 10th along with FM 2024.