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.