Søren Eller Thomsen

Who am I?


I am a Ph.D. student in the Logic and Semantics group at the Department of Computer Science, Aarhus University, where I am supervised by Bas Spitters.

I am co-organizer of the COBRA seminar. Don't hesitate to contact me if you wish to give a talk.




  • Formalizing Nakamoto-Style Proof of Stake. Søren Eller Thomsen and Bas Spitters. arXiv, 2020. [PDF][GitHub].
  • Leveraging Weight Functions for Optimistic Responsiveness in Blockchains. Simon Holmgaard Kamp, Bernardo Magri, Christian Matt, Jesper Buus Nielsen, Søren Eller Thomsen and Daniel Tschudi. ePrint, 2020. [PDF][Slides][Trailer] [Video].
  • A Dependently Typed Library for Static Information-Flow Control in Idris. Simon Gregersen, Søren Eller Thomsen and Aslan Askarov. POST '19. [PDF].
  • WIP: Formalizing the Concordium consensus protocol in Coq. Bas Spitters, Thomas Dinsdale-Young, Daniel Tschudi and Søren Eller Thomsen. CoqPL '19. ACM, 2018. [PDF].

Other Activities

Conferences and workshops