Présentation de la mention
| Вид материала | Документы |
СодержаниеResponsable : Monique BARON |
- A few slides from the Presentation, 31.45kb.
- На русском и английском языках, 160.31kb.
- Стандарт університету, 259.5kb.
- International Communist Seminar (Brussels) Presentation Международный Коммунистический, 29.1kb.
| Acronyme : lc | Spécialité : STL | 3 ECTS | Niveau : 500 | Semestre : S3 |
| Titre : Lambda calcul | ||||
| Responsable : Thérèse HARDIN | Répartition hebdomadaire ou semestrielle | |||
| (30h/7 semaines) | ||||
ContenuCe module de recherche fournit les connaissances théoriques permettant de bien poser, puis de résoudre de nombreux problèmes de recherche dans les domaines de la compilation, de la sémantique des langages de programmation et de l'analyse des programmes. | ||||
Expérience du responsable dans le domaine de l’UEQuelques thèmes de recherche de T. Hardin, accompagnés de quelques publications: Compilation et sémantique ( Hardin, Properties of CCL, TCS, 1989, Explicit substitutions properties, Curien, Hardin, Lévy, JACM 1996, Hardin,Maranget, Pagano,Functional runtime systems, J. of Functional Programming, 1998,T. Hardin, Mammass,Proving the Bounded Retransmission Protocol in the Pi-calculus, NFINITY'98 ). Logique et démonstration automatique (Dowek,Hardin,Kirchner, Higher-order unification via explicit substitutions, Information and Computation,2000; Theorem Proving modulo, Journal of Automated Reasoning,2003). Responsable du projet FOCAL, atelier de développement de systèmes répondant aux besoins élevés de sûreté et de sécurité (Dubois,Hardin, Viguié, Building certified components within FOCAL,Trends in Functional Programming,2004; ia.fr), utilisé dans 3 ACI Sécurité (Modulogic, Edemoi, Alidecs). Sûreté de fonctionnement (P. Ayrault, T. Hardin, Développement d'un outil d'évaluation de la sûreté du logiciel, JFLA2000, Hardin, Logiciels de confiance, JFLA2002). Quelques thèmes d'enseignement de T. Hardin, correspondant à des cours de niveaux L et M: Programmation (Hardin , V. Viguié-Donzeau, Concepts et outils de programmation, avec Caml et Ada, InterEditions1992). Lambda-calculs, Théorie des types, Réécriture, Sémantiques, démonstration automatique. Sûreté de fonctionnement (Normes, méthodes de mise en oeuvre, méthodes d'évaluation), accent mis sur tous les aspects liés au logiciel embarqué, en particulier sur les méthodes formelles. | ||||
Réalisations du responsable dans le domaine de l’UE
| ||||
| Acronyme : lcnc | Spécialité : IAD | 3 ECTS | Niveau : 500 | Semestre : S3 |
| Titre : Logiques classiques, non classiques et programmation logique | ||||
| Responsable : Monique BARON | Répartition hebdomadaire ou semestrielle | |||
| (CM: 20h)(TD/TME 10h) | ||||
ContenuL'objectif général est de consolider et de compléter la connaissance des bases logiques de la modélisation de connaissances et de raisonnements en IA, ainsi que de la programmation logique, en liaison avec des problèmes de formalisation en IA et des applications. Les compléments consistent en un aperçu de logiques non classiques, d'une part, et en une approche industrielle de la programmation logique, d'autre part. | ||||
Expérience du responsable dans le domaine de l’UEMC (HC), j'enseigne l'IA à Paris 6 depuis 1984, en maîtrise, DEA et DESS, notamment la résolution de problèmes, la logique et Prolog, la représentation des connaissances et la modélisation de raisonnements (avec des logiques non classiques). J'ai développé une partie de ces enseignements en lien avec mes activités de recherche dans le domaine EIAO-EIAH, où j'ai notamment participé à l'animation scientifique du groupe EIAO du PRC-IA et à l'organisation des "Journées EIAO" (de 1989 à 1997). Responsable pédagogique du DESS IA (1997-2004), puis des parcours pro. de la spécialité IAD. | ||||
Réalisations du responsable dans le domaine de l’UE
| ||||