Researcher portraits, Research
Patricia Bouyer-Decitre: making safety-critical software more reliable through mathematics
… at the “Lycée Chateaubriand” in Rennes before joining the “École normale supérieure de Cachan” in 1996 where she … a thesis on the monitoring of time-dependant computer systems (which take into account the dates events occur) at the “Laboratoire spécification et …Published on: