Biography

Kurt spent four years with MakerDAO as a core protocol dev where he was focused on all aspects of safety and security, from formal verification to incident response. He started doing security reviews of Solidity-based smart contracts in early 2021 and became a full-time security researcher in May of 2023.

Kurt has broad experience with a variety of protocols, techniques, and bugs, and is particularly knowledgeable about:

• stablecoins
• DeFi
• mathematical analysis
• formal verification
• best practices for safe smart contract development

Talks:

• MakerDAO Smart Contract Safety at DeFi Security Summit 2022
• Can Code Be Trusted? at DeFi Security 101 2023
• Numerical Analysis for DeFi Audits: A TWAMM Case Study, a Spearbit seminar