
Derek Sorensen
Mathematician | Researcher | Blockchain & Crypto
I have recently submitted my PhD thesis at the University of Cambridge in theoretical computer science, where I am a member of the Cambridge Centre for Carbon Credits.
I am interested—mathematically, philosophically, scientifically—in the notions of proposition and proof in computer science. My doctoral research developed theoretical tools for rigorous specification of financial smart contracts. Some of these tools leveraged geometric properties of programs and propositions. Moving forward, I wish to expand these theoretical tools, consider formal proof in the context of verified computation, and make an explicit study of the geometry of propositions.
My PhD thesisErdös number: 4