Researcher portraits Patricia Bouyer-Decitre: making safety-critical software more reliable through mathematics