Derek Sorensen

I am a mathematician and (theoretical) computer scientist. My PhD was in formal specification of smart contracts in Coq, focusing on the (rather philosophical) problem of ensuring that specifications actually reflect the high-level intentions of their designers. Formal proposition and proof catch my attention in computer science, from various angles.

I am currently working with Certora in a business-oriented role.


My resume | My LinkedIn | My GitHub | Email me