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 d’envoyer un message à: sympa_inria@inria.fr avec l’un des titres suivants :

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.