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.

Contact

E-mail: sethomsen@cs.au.dk
Office: Nygaard 387, Aabogade 34, DK-8200 Aarhus N

Teaching

Fall 2019 and 2020: TA for Distributed Systems and Security (Bachelor's course) with Jesper Buus Nielsen, Ivan Damgård and Claudio Orlandi.
Spring 2018: TA for Optimization (Bachelor's course) with Kristoffer Arnsfeldt.
Fall 2017: TA for Compilation (Bachelor's course) with Aslan Askarov.

Publications

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

EUTYPES, Aarhus, Denmark, October 8 - 9, 2018.
POPL, Lisbon, January 16-18, 2019.
CoqPL, Lisbon, January 19, 2019.
Theory and Practice of Blockchains 2019, Aarhus, Denmark, May 27-29, 2019.

Schools

IIAS: The 3rd Winter School in Computer Science and Engineering on Blockchains and Cryptocurrencies, Jerusalem, Israel, December 16-21, 2018.
Oregon Programming Languages Summer School: Foundations of Probabilistic Programming and Security, Eugene, Oregon, June 17-29, 2019.