Derek Sorensen

Website

derekhsorensen.com

About

Smart Contract Formal Verification

Speaking appearances

• 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 — Bruxelles
• Thank You Satoshi, Whoever You Are @ ZetaChain x Sushi x OKX 2024-02-29 — Denver