Thomas Ekström Hansen

Thomas Ekström Hansen

PhD student in Computer Science

University of St Andrews

I am currently doing a PhD in Computer Science on something along the lines of combining Type Theory and Formal Methods (although this may change over the course of the project), supervised by Dr Edwin Brady. I enjoy writing code, collaborating on projects, and helping people write or fix code.

When I’m not doing PhD things, I do Japanese Jujitsu (or rather ‘did’, in the Before Times) and occasionally play the cello. I enjoy music, hiking and camping, as well as a wide variety of video games, both old and new.

Interests

  • Systems/Low-level programming
  • Computer security
  • Information visualisation
  • Type systems
  • Formal methods
  • Data ethics

Education

  • PhD in Computer Science, 2020-present (ongoing)

    University of St Andrews

  • MSci (Hons) in Computer Science, 2015-2020

    University of St Andrews

Latest