Computer Scientist. Postdoctoral research fellow interested in Boolean satisfiability and counting. Feminist. Trekkie. Traveller. Go-to LaTeX expert in our research group.