Anca Muscholl

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-variable logic. She is a researcher at the (LaBRI), a professor at the University of Bordeaux, and a former junior member of the Institut Universitaire de France. Provided by Wikipedia