Derek Sorensen

I am a mathematician and computer scientist. My PhD was in formal specification of smart contracts in Coq, focusing on the problem of ensuring a smart contract specification is faithful to its intended design. Formal proposition and proof catch my attention in computer science, from various angles.

I currently work with Certora to make formal verification a ubiquitous practice for smart contracts.

My LinkedIn

My email