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

New preprint on arXiv: Simple-IT: Practical Low-Latency Signature-Free BFT Consensus, with Qianyu Yu, Juan Villacis, Zhuolun Xiang, 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).