Contacts

To contact users, write to focalize-users@inria.fr.
If you find a bug, please, report it to the bug report mailing list at focalize-bugs@inria.fr.
To contact the developers (to suggest new features or enhancements), write to the developers mailing list at focalize-devel@inria.fr.
For urgent/direct contact, you may also mail François Pessaux.

Members

• LIP6- SPI
  
  • Thérèse Hardin (Professor, Project Leader)
  • Mathieu Jaume (Assistant Professor)


• CNAM- CEDRIC
  
  • David Delahaye (Assistant Professor)
  • Catherine Dubois (Professor)
  • Olivier Pons (Assistant Professor)
  • Renaud Rioboo (Professor)
  • Véronique Viguié-Donzeau-Gouge (Professor)


• ENSTA-ParisTech - UIIS
  
• François Pessaux (Assistant Professor)


• INRIA-Rocquencourt
  
  • Damien Doligez (Researcher)
  • Pierre Weis (Researcher)

Associate members

• Philippe Ayrault (EterSafe, Thalès)
• Julien Blond (Bertin)
• Richard Bonichon (Researcher - CEA)
• Sylvain Boulmé (Assistant Professor - INPG)
• Matthieu Carlier (Past PhD)
• Jean-Frédéric Etienne (SafeRiver)
• Stéphane Fechter (SafeRiver)
• Eric Jaeger (ANSI)
• Lionel Habib (Past PhD)
• Manuel Maarek (SafeRiver)
• Charles Morisset (Researcher - IIT-CNR - Newcastle University)
• Ivan Noyer (Past PhD)
• Virgile Prevosto (Researcher - CEA)
• Liên Tran (Past PhD)