现有科研组 :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
以前科研组 :	SALSA SPIRAL AnimatLab MALIRE SPI REGAL
以前研究课题 :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

• HABIB Lionel : “Formalisations et comparaisons de politiques et de systèmes de sécurité”, 责任导师 Thérèse HARDIN, 答辩 2011-6-16.
• AYRAULT Philippe : “Développement de logiciels critiques en Focalize. Méthodologie et outils pour l'évaluation de conformité”, 责任导师 Thérèse HARDIN, 答辩 2011-4-22.
• BLOND Julien : “Outil pour implémentation de logiciels certifiables EAL7”, 责任导师 Thérèse HARDIN, 答辩 2010-11-30.
• NOYER Yves : “Trois études sur l'implantation des matrices en FoCaLiZe, les preuves quantitatives et la réutilisation de preuves”, 责任导师 Renaud RIOBOO, 答辩 2010-9-28.
• JAEGER Éric : “Etude de l'apport des méthodes formelles déductives pour les développement de sécurité”, 责任导师 Thérèse HARDIN, 答辩 2010-3-8.
• MORISSET Charles : “Sémantique des systèmes de contrôle d'accès”, 责任导师 Thérèse HARDIN, 答辩 2007-9-24.
• BONICHON Richard : “Pas de titre”, 责任导师 Thérèse HARDIN, 答辩 2006-12-1.
• MANDEL Louis : “Conception, Sémantique et Implantation de ReactiveML: un langage à la ML pour la programmation réactive”, 责任导师 Marc POUZET, 答辩 2006-5-22.
• FECHTER Stéphane : “Sémantique des traits orientés objet de Focal”, 责任导师 Thérèse HARDIN, 答辩 2005-7-18.