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.
Team
SDF Researchers
Giuliano Losa
Distributed computing and formal methods
Iftach Haitner
Cryptography and Computational Complexity
David Mazières
Chief Scientist at the SDF
Patrick Redmond
Research Intern in formal methods for distributed systems assurance
Research Consultants
Eli Gafni
Theory of distributed computing
Mohsen Lesani
Reliability and security of software systems
Alumni
Yunqi Zhang
Research Intern on overlay networks
George Pîrlea
Research intern in formal methods for smart contracts assurance