Anca Muscholl (born 1967) is a Romanian-German

mathematical logic Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal ...

ian and

theoretical computer scientist computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to circumscribe the t ...

known for her work on

formal verification In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal met ...

model checking In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness). This is typically associated with hardware or software system ...

, and

two-variable logic In mathematical logic and computer science, two-variable logic is the fragment (logics), fragment of first-order logic where formula (logics), formulae can be written using only two different variable (logics), variables. This fragment is usually st ...

. She is a researcher at the (LaBRI), a professor at the

University of Bordeaux The University of Bordeaux (French: ''Université de Bordeaux'') is a public university based in Nouvelle-Aquitaine in southwestern France. It has several campuses in the cities and towns of Bordeaux, Dax, Gradignan, Périgueux, Pessac, an ...

, and a former junior member of the

Institut Universitaire de France The Institut Universitaire de France (IUF, Academic Institute of France), is a service of the French Ministry of Higher Education that distinguishes each year a small number of university professors for their research excellence, as evidenced by t ...

Education and career

Muscholl was born in

Bucharest Bucharest ( , ; ro, București ) is the capital and largest city of Romania, as well as its cultural, industrial, and financial centre. It is located in the southeast of the country, on the banks of the Dâmbovița River, less than north ...

, came to Germany as a teenage refugee in 1984, and won first place in two German national mathematics competitions (the ) in 1985 and 1986. She earned a master's degree at the

Technical University of Munich The Technical University of Munich (TUM or TU Munich; german: Technische Universität München) is a public research university in Munich, Germany. It specializes in engineering, technology, medicine, and applied and natural sciences. Establis ...

, and completed her Ph.D. at the

University of Stuttgart The University of Stuttgart (german: Universität Stuttgart) is a leading research university located in Stuttgart, Germany. It was founded in 1829 and is organized into 10 faculties. It is one of the oldest technical universities in Germany wi ...

in 1994. Her dissertation, ''Über die Erkennbarkeit unendlicher Spuren'', was supervised by Volker Diekert and published by Tuebner in 1996. She also earned a

habilitation Habilitation is the highest university degree, or the procedure by which it is achieved, in many European countries. The candidate fulfills a university's set criteria of excellence in research, teaching and further education, usually including ...

at the University of Stuttgart in 1999. After becoming a professor at

Paris Diderot University Paris Diderot University, also known as Paris 7 (french: Université Paris Diderot), was a French university located in Paris, France. It was one of the inheritors of the historic University of Paris, which was split into 13 universities in 197 ...

in 1999, she moved to the University of Bordeaux in 2006.

Recognition

Muscholl was a junior member of the

from 2007 to 2012. She won the

CNRS Silver Medal The CNRS Silver Medal is a scientific award given every year to about fifteen researchers by the French National Centre for Scientific Research (CNRS). It is awarded to a researcher for "the originality, quality and importance of their work, re ...

in 2010.

References

External links

Home page
* {{DEFAULTSORT:Muscholl, Anca 1967 births Living people People from Bucharest 20th-century German mathematicians German women mathematicians German computer scientists German women computer scientists Romanian emigrants to Germany Romanian refugees Theoretical computer scientists Mathematical logicians Women logicians Technical University of Munich alumni University of Stuttgart alumni Academic staff of the University of Bordeaux Academic staff of Paris Diderot University 21st-century German mathematicians