Anna@mathstodon.xyz
Anna@mathstodon.xyz
anna@mathstodon.xyz
Computer Scientist. Assistant professor interested in Boolean satisfiability, counting, reasoning under uncertainty, formal verification. Feminist. Trekkie. Traveller. Go-to LaTeX expert in our research group. Profile pic is that of a young, blonde woman sitting behind a desk with papers, pens and markers, looking up over her shoulder at the camera. Banner pic shows a big logo: a colourful geometric shape with the letters GHC next to it. I am sitting in front of it, between the G and the H.