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.
- Informationsvisualisering
- Formelle methoder
- System/Lav-level programmering
- Computer sikkerhed
- Data-etik
- Type systems
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
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
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)
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