Aldlatour@mastodon.social
Aldlatour@mastodon.social
aldlatour@mastodon.social
Computer Scientist. Postdoctoral research fellow interested in Boolean satisfiability and counting. Feminist. Trekkie. Traveller. Opinions my own. Follow me [url=https://mathstodon.xyz/@anna]@anna[/url] for tweets about maths and logic.