Dr. Anna Latour

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/ ]