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.
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