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 formally verifying smart contracts.