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.

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

Patrick Redmond

Research Intern in formal methods for distributed systems assurance

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

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