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