Patricia Bouyer-Decitre
Senior researcher, CNRS
Director of LMF (Laboratoire Méthodes Formelles)
Since January 1, 2021, the LSV and the
Vals team of LRI form the
"
Laboratoire Méthodes Formelles". (Formal Methods
Lab). The new lab is a joint research unit (UMR9021) between
University Paris-Saclay, CNRS and ENS Paris-Saclay. The lab has
two institutional partners, CentraleSupélec and
Inria.
Some pointers on my research
Professional activities
Students supervision
Awards
Projects
Ongoing projects
Past projects
Misc
Personal links
Photography
Computer science