Thomas Ekström Hansen

Thomas Ekström Hansen

Datalogi ph.d.-studerende

University of St Andrews

Profil

I øjeblikket er jeg i gang med en ph.d. i datalogi, angående noget i retning af at kombinere Typeteory og Formelle Metoder (men emnet kan ændre sig, efterhånden som projektet skrider frem), under vejledning af Dr. Edwin Brady. Jeg kan godt lide at kode, samarbejde på projekter, og hjælpe andre med at skrive eller fikse kode.

Når jeg ikke laver ph.d.-ting, nyder jeg at lytte til al mulig slags musik, at vandre og campe, og at spille diverse videospil, både nye og gamle.

Interesser
  • Informationsvisualisering
  • Formelle methoder
  • System/Lav-level programmering
  • Computer sikkerhed
  • Data-etik
  • Type systems
Uddannelse
  • Datalogi ph.d., 2020-i dag (igangværende)

    University of St Andrews

  • MSci (Hons) i Datalogi (svarende til Cand.scient.), 2015-2020

    University of St Andrews

Erfaring

 
 
 
 
 
Sommer Internship
School of Computer Science
jul. 2019 – aug. 2019 St Andrews

Ud fra arbejdet fra den forrige sommer, forbedrede jeg databasen og brugte den til, at udvikle et program som visualiserede forholdene mellem universitetets kurser (f.eks. “Man skal have taget netværks-kurset på 3. år for at kunne tage ‘distributed computing’-kurset på 4. år”).

En oversigt over projektet kan ses her.

Udviklet vha:

  • SQL (MariaDB)
  • Python (Flask)
  • D3.js
  • Bootstrap
 
 
 
 
 
Sommer Internship
School of Computer Science
jul. 2018 – aug. 2018 St Andrews

Designede og implementerede et ER-diagram, for at have en database til brug med et program, der ville visualisere forholdene mellem universitetets kurser på samme måde som i ‘depency graphs’.

Udviklet vha:

  • SQL (MariaDB)
  • Elm (funktionelt web-dev programmeringssprog)
 
 
 
 
 
Sommer Internship
School of Computer Science
jul. 2017 – sep. 2017 St Andrews

Udviklede et program til at visualisere outputtet fra en radarchip indsendt af firmaet OmniPreSense. Derefter brugte jeg dette program til, at udforske radarchippens compatibilitet med det eksisterende RadarCat projekt.

Udviklet vha:

  • Java
  • Python