
Leonard Passos
Languages
Domain Expertise
Top projects
Work Experience

Highlights
- Performed 65+ security audits, including BeraChain, Casper, Cardano, Solana Runtime, Teku, Zora, and IDEX, helping to protect over 2 billion+ USD in TVL
- Audited smart contracts in various languages, including Solidity, Teal, and Scilla, as well as auditing Rust and GoLang app chains
- Formally verified KeeperDAO
.svg)
Personal Research
- Created his own LALR parser generator with automatic conflict resolution
- Mined the Linux kernel repository (+ 10 million lines of code), extracting different maintenance patterns. Validated those patterns against other related systems
- PhD in Computer Engineering from the University of Waterloo, with over 20 published papers and over 1100 citations
- Bronze medal in a research competition sponsored by Microsoft Research