Hi everyone,

My name in Anna, and I'm a research fellow in #ArtificialIntelligence. I'm mostly interested in Boolean satisfiability and counting.

I'm a nerd, a feminist and a traveller, not always in that order.

I'm an expat who misses her friends and family, and recently moved in with a dog and a cat.

In my spare time, I like #hiking, #geocaching, #knitting, #reading, #cooking and #baking.

#introduction #introductions #AcademicMastodon #AcademicChatter #PostDocLife #CatsOfMastodon