Søren Eller Thomsen

Who am I?

portrait.jpg

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

I am supervised by Bas Spitters.

Contact

Teaching

Publications

  • 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