Søren Eller Thomsen

portrait.jpg

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

Interests

  • Formal verification
  • Distributed systems
  • Information flow control

Teaching

Other Activities

Workshops

  • EUTYPES, Aarhus, Denmark, October 8 - 9, 2018.

Author: Søren Eller Thomsen

Created: 2018-11-07 Wed 13:44

Emacs 25.2.2 (Org mode 8.2.10)