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

Distributed computing and formal methods

Cryptography and Computational Complexity

Chief Scientist at the SDF

Research Intern in formal methods for distributed systems assurance

Research Intern in formal verification of Rust code

Theory of distributed computing

Reliability and security of software systems

Research Intern on overlay networks

Research intern in formal methods for smart contracts assurance