Membres

Responsables: S. Bardin (CEA LIST) et Jannik Dreier (LORIA, Nancy).

Les applications des méthodes formelles à la sécurité sont étudiées:

• dans de nombreux laboratoires d’informatique en France: CEA LIST, Inria (Comete, Indes, Marelle, Pesto, Prosecco, Tamis, …), IRISA, LIFO, LIG, LIP6, LIPN, LIX, LORIA, LSV, UVSQ, VERIMAG, ….
• dans de nombreuses entreprises: Airbus, Amossys, Cryptosense, Dassault Aviation, Gemalto, Orange, Prove & Run, Saferiver, Thalès, Trusted labs, Trust In Soft, …

Ces listes ne sont ni exhaustives ni limitatives.

Contact: Pour faire partie de ce groupe de travail, il suffit de s’inscrire sur myGDR et d’envoyer un message à sympa_inria@inria.fr avec l’un des titres suivants afin de s’abonner à la mailing-liste :

subscribe gt-mfs.permanents@irisa.fr

subscribe gt-mfs.doctorants@irisa.fr

subscribe gt-mfs.industriels@irisa.fr

subscribe gt-mfs.autres@irisa.fr

Notez que permanents correspond aux membres permanents d’un laboratoire académique, et que doctorants correspond aux doctorants, postdoctorants, étudiants ou tout autre personne susceptible d’être intéressée par un stage, un emploi, des offres de bourses, etc.