hello (at) anna-maths (dot) xyz
I am a former mathematics and computer science student at the University of Birmingham, soon to be a PhD student at the University of Bath under Pedro H. Azevedo de Amorim. I am excited to do more research in a field I enjoy learning more about and playing with! Also, I am excited to live in a new place after being in Birmingham for four years. My current interests include category theory, proof assistants, 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 :)
If you want to find me elsewhere I am on Mastodon.