Patricia Bouyer-Decitre

Senior Researcher, CNRS
Director of LMF

Mail: bouyerREMOVE@lsv.fr
Phone: +33 (0)1 81 87 00 00 54 34
Office: 1S60, Bâtiment ENS - Nord  

LMF, Bât. ENS Paris-Saclay
4 avenue des Sciences
91190 Gif-sur-Yvette, France

Research

ERC project ERC EQualIS

I have been the Principal Investigator of the ERC project EQualIS, January 2013 - February 2019.

The tool TiAMo developped in this project.

Professional activities

Students supervision

Awards

Projects

Ongoing projects

Ticktac

Efficient Techniques and Tools for the Verification and Synthesis of Real-Time Systems

Past projects

Misc

Personal links

Photography

Computer science