Verifiable distributed systems and organizations.
formal verification • distributed systems • software engineering • blockchain • security audits
11 - 50
November 8
11 - 50
Security Engineer at Informal Systems, focusing on blockchain security best practices.
October 18
11 - 50
Recruiter for web3 talent at Informal Systems, a blockchain-focused company.