Véronique Bruyère

Véronique Bruyère är en belgisk datavetare som arbetar med automatteori , tidslogik och kombinatorik med bland annat ord. Hon är professor i datavetenskap vid universitetet i Mons i Belgien.

Utbildning

Bruyère studerade matematik vid universitetet i Mons-Hainaut , ett av två universitet som slogs samman 2009 och bildade universitetet i Mons, och tog en magisterexamen i matematik där 1985. Hon avslutade sin doktorsexamen. i datavetenskap 1989, vid Paris Diderot University . Hennes avhandling, Codes prefixes, codes a delai dechiffrage borne , handledes av Dominique Perrin . Hon fick också en andra doktorsexamen. i naturvetenskap från universitetet i Mons-Hainaut 1991.

Karriär

Bruyère har arbetat för universitetet i Mons-Hainaut och (efter sammanslagningen) universitetet i Mons sedan 1985, då hon blev assistent där. 1993 blev hon chargé de cours (ungefär motsvarande docent), 2000 professor och 2012 professor. Hon blev chef för det teoretiska datavetenskapliga laboratoriet i Mons 2001. Sedan 2009 är hon chef för institutionen för datavetenskap vid universitetet i Mons.

Forskning

Bruyères forskningsämnen har inkluderat formell verifiering , tidsstyrda automater , kombinatorik på ord , spelteori och kodningsteori . Förutom att publicera under eget namn har hon deltagit som medlem av M. Lothaires pseudonyma kollektiv.

externa länkar