现有科研组 : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Former teams : | ACASA AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper |
以前研究课题 : | ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF |
- PRÉVOSTO Virgile : “Conception et implantation du langage FoC pour le développement de logiciels certifiés”, 责任导师 Thérèse HARDIN, 答辩 2003-9-15.
- HAMON Grégoire : “Calcul d'horloges et structures de contrôle dans lucid Synchrone, un langage de flots synchrones à la ML”, 责任导师 Marc POUZET, 答辩 2002-11-14.
- CUOQ Pascal : “Ajout de synchronisme dans les langages fonctionnels fortement typés”, 责任导师 Marc POUZET, 答辩 2002-10-15.
- PARRENNES Fabrice : “Analyse de sûreté du logiciel par interprétation abstraite et contraintes”, 责任导师 Thérèse HARDIN, 答辩 2002-5-22.
- BOULMÉ Sylvain : “Spécification d'un environnement dédié à la programmation certifiée de bibliothèques de Calcul Formel”, 责任导师 Thérèse HARDIN, 答辩 2000-12-22.
- ABELLA Nacira : “Formalisation de la Théorie de la Réécriture dans le Système Coq”, 责任导师 Thérèse HARDIN, 答辩 1999-12-17.
- MAMMASS Brahim : “Preuve de systèmes distribués”, 责任导师 Thérèse HARDIN, 答辩 1999-9-9.
- SAIBI Amokrane : “Outils Génériques de Modélisation et de Démonstration pour la formalisation des Mathématiques en Théorie des types. Application à la Théorie des Catégories.”, 责任导师 Thérèse HARDIN, 答辩 1999-3-13.
- SAURA Thierry : “Étude des modèles d'execution des langages fonctionnels et impératifs : Application à un évaluateur SCHEME”, 责任导师 Christian QUEINNEC, 答辩 1999-1-22.
- ALEXANDRE Guillaume : “De Aldor à Zermalo”, 责任导师 D. LAZARD, 答辩 1998-2-7.
- PAGANO Bruno : “Des calculs de substitution explicite et de leur application à la compilation des langages fonctionnels”, 责任导师 Thérèse HARDIN, 答辩 1998-1-29.