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.