Hello, my name is Giuliano Losa. Welcome to my research homepage! 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, 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

Together with Setphan Merz, I am co-organizing the 12th Workshop on Formal Reasoning in Distributed Algorithms. The workshop will take place in Berlin, Germany, on October 27th, 2025, together with DISC 2025. If you would like to give a talk, send us an abstract!

New paper draft: Nibesh Shrestha, Qianyu Yu, Aniket Kate, Giuliano Losa, Kartik Nayak, Xuechao Wang. “Optimistic, Signature-Free Reliable Broadcast and Its Applications”

Paper accepted at FMCAD 2025: Joseph Tafese, Siddharth Priya, Giuliano Losa, Arie Gurfinkel and Graydon Hoare. “A Tale of Two Case Studies: A Unified Exploration of Rust Verification with SeaBMC”

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.