Anca Muscholl

Anca Muscholl (född 1967) är en rumänsk-tysk matematisk logiker och teoretisk datavetare känd för sitt arbete med formell verifiering , modellkontroll och tvåvariabellogik . Hon är forskare vid Laboratoire bordelais de recherche en informatique (LaBRI), professor vid universitetet i Bordeaux och tidigare juniormedlem vid Institut Universitaire de France .

Utbildning och karriär

Muscholl föddes i Bukarest , kom till Tyskland som tonårsflykting 1984 och vann förstaplatsen i två tyska nationella matematiktävlingar (Bundeswettbewerb Mathematik [ 1985 och 1986. Hon tog en magisterexamen vid Münchens tekniska universitet , och avslutade sin Ph.D. vid universitetet i Stuttgart 1994. Hennes avhandling, Über die Erkennbarkeit unendlicher Spuren , handledes av Volker Diekert och publicerades av Tuebner 1996. Hon fick också en habilitering vid universitetet i Stuttgart 1999.

Efter att ha blivit professor vid Paris Diderot University 1999, flyttade hon till University of Bordeaux 2006.

Erkännande

Muscholl var juniormedlem i Institut Universitaire de France från 2007 till 2012. Hon vann CNRS Silver Medal 2010.

externa länkar

• Hemsida
• Anca Muscholl -publikationer indexerade av Google Scholar