Fanny Dufossé



Contact Information

DATAMOVE team,
INRIA Grenoble—Rhône Alpes
LIG-Bâtiment IMAG - Université Grenoble Alpes
700 avenue Centrale
Domaine Universitaire
38401 St Martin d'Hères - France

Email: firstname.lastname AT inria DOT fr
Phone: +33 4 57 42 15 85
CV


I'm researcher (CR) at INRIA, France in Computer Science. I did my PhD in the LIP laboratory in GRAAL project under the supervision of Anne Benoit and Yves Robert.

Thesis

Publications

International Conferences

Journal

Code

  • Safety synthesis