![@anna@mathstodon.xyz avatar](https://incremental.social/media/cache/resolve/avatar_thumb/98/a1/98a1eb4c85b98106addf157a05505602968ba7369e0b19d0032f31f5aba1d29a.jpg)
![@anna@mathstodon.xyz cover](https://incremental.social/media/cache/resolve/user_cover/0b/79/0b79689b97ca58971f42a7211cf6156b140dc6a69066bef47981bd65538d4699.jpg)
![@anna@mathstodon.xyz avatar](https://incremental.social/media/cache/resolve/avatar_thumb/98/a1/98a1eb4c85b98106addf157a05505602968ba7369e0b19d0032f31f5aba1d29a.jpg)
Computer Scientist. Postdoctoral research fellow interested in Boolean satisfiability and counting. Feminist. Trekkie. Traveller. Go-to LaTeX expert in our research group.
This profile is from a federated server and may be incomplete. Browse more on the original instance.