Dr. Anna Latour @anna.mathstodon.xyz.ap.brid.gy
Computer Scientist. Assistant professor interested in Boolean satisfiability, counting, reasoning under uncertainty, formal verification. Feminist. Trekkie […] [bridged from https://mathstodon.xyz/@anna on the fediverse by https://fed.brid.gy/ ]