Patricia Bouyer-Decitre

Patricia Bouyer-Decitre (published as Patricia Bouyer, born 1976) is a French theoretical computer scientist known for her research on timed automata, model checking, and temporal logic.[1] She is a senior researcher for the French National Centre for Scientific Research (CNRS), and director of the Laboratoire Méthodes Formelles (Formal Methods Lab) of CNRS and the École normale supérieure Paris-Saclay.[2]

  1. ^ Cite error: The named reference presburger was invoked but never defined (see the help page).
  2. ^ Cite error: The named reference lsv was invoked but never defined (see the help page).