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

Conferences and workshops

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