Publications

• Sorensen, D. Towards Formally Specifying and Verifying Smart Contract Upgrades in Coq. FMBC 2024. [preprint]
• Sorensen, D. (In)Correct Smart Contract Specifications. ICBC 2024. [preprint]
• Sorensen, D. Tokenized Carbon Credits. Ledger, 2023.
• Sorensen, D. Structured Pools for Tokenized Carbon Credits. ICBC CryptoEx 2023.
• Butt, K., Sorensen, D. Streamlining Classical Consensus. (2019) International Journal of Blockchains and Cryptocurrencies. Vol. 1, No. 4.
• Sorensen, D. Establishing Standards for Consensus on Blockchains. (2019) ICBC 2019.
• A. Francis, D. Smith, D. Sorensen and B. Webb, Extensions and applications of equitable decompositions for graphs with symmetries. Linear Algebra and its Applications 532 (2017), 432-462.

Talks

• (In)Correct Smart Contract Specifications. ICBC, May 2024, Dublin.
• Towards Formally Specifying and Verifying Smart Contract Upgrades in Coq. FMBC, April 2024, Luxembourg.
• Abstraction, Specification, and Proof. Undone Science, February 2024, Nantes, FR.
• Structured Pools for Tokenized Carbon Credits. ICBC 2024, Dubai.
• Establishing Standards for Consensus on Blockchains. ICBC 2019, San Diego.
• K framework and type theory. RCon, May 2019, Berlin.

Unpublished Papers

• Butt, K., Sorensen, D., Stay, M. Casanova. (2018) arxiv.1812.02232
• Maric, O., Lochbihler, A., Sorensen, D. CantonCoin: Gaining Horizontal Scalability and Privacy with Distributed Commits Instead of Global Consensus. (2019)

Notes (mostly Algebraic Topology)

• An introduction to fiber bundles.
• An introduction to principal bundles.
• An introduction to characteristic classes.
• An introduction to systems of local (twisted) coefficients.
• Homotopy groups of spheres.
• Introduction to Algebraic K-theory.
• Introduction to the Serre Spectral Sequence.
• Classification of vector bundles over the projective line.
• Stability theorems for persistent homology.