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, dyrker jeg japansk jujitsu (eller snarere “dyrkede”; inden verden gik af lave) og indimellem spiller jeg også cello. Jeg nyder at lytte til musik, vandre og campe, samt 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