
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.
My ideal work would: produce something lasting, meaningful and serious, in collaboration with peers and colleagues; be a constant process of honing expertise, with active input, with the ability to communicate that with colleagues and/or clients; and consist mostly of deep, focused work with relatively few interruptions.