Scholar
Giuliano Losa
Google Scholar ID: m2jQVgQAAAAJ
Stellar Development Foundation
Citations & Impact
Citations
757
H-index
11
i10-index
14
Publications
20
Co-authors
0
Publications
Resume (English only)
Academic Achievements
- Papers published: 'Optimistic, Signature-Free Reliable Broadcast and Its Applications' accepted at FMCAD 2025; 'A Tale of Two Case Studies: A Unified Exploration of Rust Verification with SeaBMC' accepted at FMCAD 2025; PODC brief announcement: 'Stranger-Free Tasks'; 'Constellation: Peer-to-Peer Overlays for Federated Byzantine Agreement Systems' to be presented at FC 2025; Participated in the Dagstuhl seminar 'Next-Generation Secure Distributed Computing' and gave a talk on verifying liveness of consensus protocols at the TLA+ Community Event in Milan, Italy.
Research Experience
- Currently working at the Stellar Development Foundation, where he co-founded SDF Research with CTO Nicolas Barry; Previously worked at Galois, UCLA (as a postdoc), Virginia Tech (as a postdoc and briefly as a research assistant professor).
Education
- PhD in Computer Science from EPFL, Switzerland; Previously worked as a software engineer at ELCA, Switzerland.
Background
- Research Interests: Distributed computing and formal methods; Professional Field: Rigorous design, analysis, and implementation of distributed systems; Brief Introduction: Researcher at Stellar Development Foundation.
Miscellany
- Personal Interests: Organizing academic conferences such as the 12th Workshop on Formal Reasoning in Distributed Algorithms; Member of the program committee for the 2024 TLA+ Community Event.
Co-authors