Derek Sorensen

About

Smart Contract Formal Verification

Events

• Devconnect 5K Run & Walk with Coffee & Breakfast! 2025-11-17
• Climb & Cuddle: The Capy Cave ($CAPY Airdrop) 2024-11-12
• 5K Run/Walk for Code Security at DevCon 2024-11-12
• Free Formal Verification Webinar 2024-09-02
• Spirits with Sherlock at ETHCC Brussels 2024-07-09
• Thank You Satoshi, Whoever You Are @ ZetaChain x Sushi x OKX 2024-02-29