Подразделения : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Бывшие команды : | 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, защита диссертаций 15.09.2003.
- HAMON Grégoire : “Calcul d'horloges et structures de contrôle dans lucid Synchrone, un langage de flots synchrones à la ML”, научны(е)й руководител(и)ь Marc POUZET, защита диссертаций 14.11.2002.
- CUOQ Pascal : “Ajout de synchronisme dans les langages fonctionnels fortement typés”, научны(е)й руководител(и)ь Marc POUZET, защита диссертаций 15.10.2002.
- PARRENNES Fabrice : “Analyse de sûreté du logiciel par interprétation abstraite et contraintes”, научны(е)й руководител(и)ь Thérèse HARDIN, защита диссертаций 22.05.2002.
- BOULMÉ Sylvain : “Spécification d'un environnement dédié à la programmation certifiée de bibliothèques de Calcul Formel”, научны(е)й руководител(и)ь Thérèse HARDIN, защита диссертаций 22.12.2000.
- ABELLA Nacira : “Formalisation de la Théorie de la Réécriture dans le Système Coq”, научны(е)й руководител(и)ь Thérèse HARDIN, защита диссертаций 17.12.1999.
- MAMMASS Brahim : “Preuve de systèmes distribués”, научны(е)й руководител(и)ь Thérèse HARDIN, защита диссертаций 09.09.1999.
- 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, защита диссертаций 13.03.1999.
- SAURA Thierry : “Étude des modèles d'execution des langages fonctionnels et impératifs : Application à un évaluateur SCHEME”, научны(е)й руководител(и)ь Christian QUEINNEC, защита диссертаций 22.01.1999.
- ALEXANDRE Guillaume : “De Aldor à Zermalo”, научны(е)й руководител(и)ь D. LAZARD, защита диссертаций 07.02.1998.
- PAGANO Bruno : “Des calculs de substitution explicite et de leur application à la compilation des langages fonctionnels”, научны(е)й руководител(и)ь Thérèse HARDIN, защита диссертаций 29.01.1998.