Academic
Patricia Bouyer-Decitre
French theoretical computer scientist
- Life
- 1976 – present
- Born
- October 18, 1976
- Nationality
- 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.
