Researcher portraits, Research
Patricia Bouyer-Decitre: making safety-critical software more reliable through mathematics
… Patricia Bouyer-Decitre: making safety-critical software more reliable … which is given to young scientists who make an outstanding contribution to the field of theoretical computer science. … which is given to young scientists who make an outstanding contribution to the field of theoretical computer science. …Published on: