Thomas Ekström Hansen

Thomas Ekström Hansen

PhD student in Computer Science

University of St Andrews

Biography

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 enjoy music of various kinds, hiking and camping, as well as a wide variety of video games, both old and new.

Interests
  • Information visualisation
  • Systems/Low-level programming
  • Computer security
  • Formal methods
  • Data ethics
  • Type systems
Education
  • PhD in Computer Science, 2020-present (ongoing)

    University of St Andrews

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

    University of St Andrews

Experience

 
 
 
 
 
Summer Internship
School of Computer Science
Jul 2019 – Aug 2019 St Andrews

Using the work from the previous summer, I refined the database and used it to develop a tool which visualised pre-, anti-, and co-requisites of university modules.

A overview of the project can be found here.

Tools used:

  • SQL (MariaDB)
  • Python (Flask)
  • D3.js
  • Bootstrap
 
 
 
 
 
Summer Internship
School of Computer Science
Jul 2018 – Aug 2018 St Andrews

Developed and implemented the ER-diagram for a tool which would visualise pre-, co-, and anti-requisites of university modules, similar to dependency graphs.

Tools used:

  • SQL (MariaDB)
  • Elm (functional web-dev language)
 
 
 
 
 
Summer Internship
School of Computer Science
Jul 2017 – Sep 2017 St Andrews

Developed a tool for visualising the output of a radar chip provided by OmniPreSense and used this to examine its compatibility with the existing RadarCat project.

Tools used:

  • Java
  • Python