Søren Eller Thomsen
Who am I?
I am a Ph.D. student in the Cryptography and Security group at the
Department of Computer Science, Aarhus University, where I am supervised by Jesper Buus Nielsen.
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.