Patricia Bouyer-Decitre
id:
patricia-bouyer-decitre-263-2900412
title:
Patricia Bouyer-Decitre
text:
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.
brand slug:
wiki
category slug:
encyclopedia
description:
French theoretical computer scientist
original url:
https://en.wikipedia.org/wiki/Patricia_Bouyer-Decitre
date created:
date modified:
2023-11-28T22:50:09Z
main entity:
{"identifier":"Q30573900","url":"https://www.wikidata.org/entity/Q30573900"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/3/3e/Patricia_Bouyer.jpg","width":1824,"height":2736}
fields total:
13
integrity:
15