Researcher portraits, Research
Patricia Bouyer-Decitre: making safety-critical software more reliable through mathematics
… Patricia Bouyer-Decitre is a researcher in computer science in the field of formal methods and director of the … also important for home automation, democracy and digital health, which are all vulnerable to interference and data … also important for home automation, democracy and digital health, which are all vulnerable to interference and data …Published on: Fri 23/04/2021 - 09:08