I am an expert in blockchain and DLT and am pursuing a PhD at the University of Cambridge in Homotopy Type Theory.
Mathematically, I'm currently focused on synthetic stable homotopy theory.
Professionally, I am part of the revolution to integrate blockchain and DLT into the global financial system.
I am currently looking for a new position in fintech consulting. I have experience in consulting, engineering, R&D, and teaching. Past positions have included Formal Verification Engineer at Clearmatics, cryptocurrency consultant for Digital Asset, research mathematician at Pyrofex Corporation, and adjunct math faculty at Utah Valley University.
In technical terms, my professional work has included formal verification of Ethereum smart contracts and blockchain consensus algorithms; designing and implementing safe and live cryptocurrencies; designing the formal semantics of programming languages in the K-Framework; formal verification in the same; research and formal verification for a Pyrofex-developed proof-of-stake consensus algorithm Casanova; formally verifying network specs and Haskell algorithms in, respectively, TLA+ and Agda; and conducting and publishing original research in distributed systems, type theory, and blockchains (see Publications for links).
I am published in peer-reviewed journals of blockchains and cryptocurrencies, distributed systems, and pure mathematics.
Erdös number: 4
I can be contacted at derekhsorensen AT gmail DOT com.