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. The website of the new lab is under construction.
Some pointers on my research
Professional activities
Students supervision
Awards
Projects
Ongoing projects
Past projects
Misc
Personal links
Photography
Computer science