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 (summer or fall) for a model-based testing project. If you are interested, please reach out to [email protected].
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
Mohsen Lesani
Reliability and security of software systems
Alumni
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