Dr. Anna Latour
Computer Scientist. Assistant professor interested in Boolean satisfiability, counting, reasoning under uncertainty, formal verification. Feminist. Trekkie. Traveller. Go-to LaTeX expert in our research group.
Profile pic is that of a young, blonde woman sitting behind a desk with papers, pens and markers, looking up over her shoulder at the camera.
Banner pic shows a big logo: a colourful geometric shape with the letters GHC next to it. I am sitting in front of it, between the G and the H.
Website: https://latower.github.io
dblp: https://dblp.org/pid/204/8189
dead bird: https://twitter.com/aldlatour
Profile pic is that of a young, blonde woman sitting behind a desk with papers, pens and markers, looking up over her shoulder at the camera.
Banner pic shows a big logo: a colourful geometric shape with the letters GHC next to it. I am sitting in front of it, between the G and the H.
Website: https://latower.github.io
dblp: https://dblp.org/pid/204/8189
dead bird: https://twitter.com/aldlatour
Public Key
npub13ajr7h4safck587a0m09x49gz3kqlern6ya0mtdg4v2vvzzev32sspytw4NIP-05 Address
anna_at_mathstodon.xyz@momostr.pinkProfile Code
nprofile1qqsg7eplt6cw5ut2rlwhahjn2j5pgmq0u3eazwha4k52k9xxppvkg4gl8l36dAuthor Public Key
npub13ajr7h4safck587a0m09x49gz3kqlern6ya0mtdg4v2vvzzev32sspytw4