Universitaire

Patricia Bouyer-Decitre

French theoretical computer scientist

Vie: 1976 – présent
Né(e) le: 18 octobre 1976
Nationalité: France

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