Portuguese Anca Muscholl Cited by user Kaktus Kid on 17 Feb 2022 Depois de se tornar professora na Universidade Paris VII em 1999, foi para a Universidade de Bordeaux em 2006.
English Anca Muscholl Cited by user David Eppstein on 30 Mar 2021 Anca Muscholl (born 1967) is a Romanian-German mathematical logician and theoretical computer scientist known for her work on formal verification, model checking, and two…