hello (at) anna-maths (dot) xyz
I am a PhD student in the Mathematical Foundations of Computation group at Bath, supervised by Pedro H. Azevado de Amorim. The title of my project is "Explorations in Synthetic Domain Theory" I am excited to do more research in a field I enjoy learning more about and playing with! My current interests include category theory, programming language theory and domain theory, all of which I hope to explore (in some part) in my time at Bath.
Outside of research I enjoy doing fibre crafts (crochet and knitting), reading (when I can) and watching sports (ice hockey and baseball). I also play celeste sometimes :)
Floorplan a fun paper my friends, Sof and Peter, and I submitted to SIGBOVIK.
If you want to find me elsewhere I am on Mastodon.