Skip to main content

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's avatar

Giuliano Losa

Distributed computing and formal methods
Iftach Haitner's avatar

Iftach Haitner

Cryptography and Computational Complexity
David Mazières's avatar

David Mazières

Chief Scientist at the SDF

Research Consultants

Eli Gafni's avatar

Eli Gafni

Theory of distributed computing
Mohsen Lesani's avatar

Mohsen Lesani

Reliability and security of software systems

Alumni

Joseph Tafese's avatar

Joseph Tafese

Research Intern in formal verification of Rust code
Patrick Redmond's avatar

Patrick Redmond

Research Intern in formal methods for distributed systems assurance
Yunqi Zhang's avatar

Yunqi Zhang

Research Intern on overlay networks
George Pîrlea's avatar

George Pîrlea

Research intern in formal methods for smart contracts assurance