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

I am co-organizing FRIDA 2027, the 13th Workshop on Formal Reasoning in Distributed Algorithms, with Brijesh Dongol. FRIDA 2027 is a one-day workshop co-located with POPL 2027 in Mexico City, Mexico, on Monday, January 11th, 2027. The call for talks is open: submit a short abstract (at most 2 pages) at frida2027.hotcrp.com by Friday, November 6th, 2026 (AoE).

Paper accepted at IEEE Symposium on Security and Privacy (S&P 2027): Simple-IT: Practical Low-Latency Signature-Free BFT Consensus, with Qianyu Yu, Juan Villacis, Zhuolun Xiang, and Xuechao Wang.

New preprint on arXiv: Simple and Fast Signature-Free Blockchain Consensus, with Xuechao Wang, Zhuolun Xiang, and Qianyu Yu.

I am a member of the program committee for DISC 2026.

Paper accepted at CCS 2026: Angelfish: Leader, DAG, or Anywhere in Between, with Qianyu Yu, Nibesh Shrestha, and Xuechao Wang.

Another recent preprint on arXiv: Monotone Erasure Codes, with Vivien Bammert, Annalisa Cimatti, Orestis Alpos, and Christian Cachin.

Paper accepted at CAV 2026: “Show Me The Money: An Exercise in Proof-Driven Software Understanding” (category Industrial Experience Reports & Case Studies), with J. Tafese, K. Nukala, H. Saidi, N. Shankar, A. Gurfinkel, G. Losa.

I am a member of the review committee of PLDI 2026.

Paper accepted at IEEE Symposium on Security and Privacy (S&P 2026): Fast Deterministically Safe Proof-of-Work Consensus, with Ali Farahbakhsh (Cornell University), Giuliano Losa (Stellar Foundation), Youer Pu (Cornell University), and Lorenzo Alvisi (Cornell University).