Research at the Stellar Development Foundation
The Stellar Development Foundation supports technological and scientific research through its in-house research team and its academic grants program.
Heads up! We are looking for a Director of Research.
We are also looking for a research intern in formal methods to explore methods to formalize and reason about production systems, in the vein of our CAV 2026 paper "Show Me The Money: An Exercise in Proof-Driven Software Understanding". See the internships page for details on our internship program.
Team
SDF Researchers
Giuliano Losa
Distributed computing and formal methods
Iftach Haitner
Cryptography and Computational Complexity
David Mazières
Chief Scientist at the SDF
Research Consultants
Eli Gafni
Theory of distributed computing
Alumni
Juan Villacis
Research Intern on distributed computing in asymmetric-trust models
Joseph Tafese
Research Intern in formal verification of Rust code
Patrick Redmond
Research Intern in formal methods for distributed systems assurance
Yunqi Zhang
Research Intern on overlay networks
George Pîrlea
Research intern in formal methods for smart contracts assurance
Mohsen Lesani
Consultant in reliability and security of software systems