En terme de connaissance, ce cours vise à sensibiliser les futurs ingénieurs et chercheurs en science et technologie du logiciel à la puissance, mais aussi aux limites de ce que l'on peut obtenir par la mécanisation du calcul ou du raisonnement, en terme de savoir faire, nos étudiants auront acquis la maîtrise des outils théoriques de base de la spécification et modélisation scientifique des programmes ainsi que l'expérience de leur mise en oeuvre technologique soit par utilisation d'outils logiciels existants soit par implantation de quelques algorithmes fondamentaux du domaine.
Expérience du responsable dans le domaine de l’UE
Professeur à Paris6 depuis 1989 . Mes thèmes de recherches sont la sémantique, la vérification et les bases de données déductives. Mes enseignements (passés et présents) : sémantique, algorithmique, programmation, systèmes synchrones, langages de programmation, bases de données, Logique et récursivité, structures discrètes.
Réalisations du responsable dans le domaine de l’UE
Mathématiques pour l'informatiques (co-auteur André Arnold) Inter-Editions (2005)
Algebraic Semantics, LNCS no 99, (1981)
Acronyme : ls
Spécialité : STL
3 ECTS
Niveau : 500
Semestre : S3
Titre : Langages synchrones
Responsable : Thérèse HARDIN
Répartition hebdomadaire ou semestrielle
(CM: 4h00)(TD: 0h00)(TME: 2h00)
Contenu
Le modele de programmation synchrone est au coeurs de divers outils industriels utilises dans le domaine des systemes embarques critiques (e.g., commande de vol de l'Airbus, automates industriels). Ils sont fondes sur un modele mathematique solide et disposent d'outils de compilation et de verification automatique de code. Ce cours propose une introduction aux divers langages synchrones et a leurs outils associes. L'accent sera mis sur les aspects "pratiques" de ces langages.
Expérience du responsable dans le domaine de l’UE
Le chargé d'enseignement de cette UE est Jean-Ferdinand Susini, Maître de Conférences au CNAM. Il a fait sa thèse sous la direction de Frédéric Boussinot (DR, INRIA Sophia-Antiopolis) sur les langages synchrones/réactifs dans l'esprit de Reactive C.
Réalisations du responsable dans le domaine de l’UE
Acronyme : madro
Spécialité : IAD
3 ECTS
Niveau : 500
Semestre : S3
Titre : Méthodologies et applications en décision et RO
Responsable : Pierre FOUILHOUX et Pierre-Henri WUILLEMIN
Répartition hebdomadaire ou semestrielle
(CM: 2h00)(TD/TME: 2h00)
Contenu
Au travers d'études de cas de problèmes issus de la recherche opérationnelle (RO), de l'aide à la décision (AD) et de l'intelligence artificielle, ce module approfondit par la pratique les méthodes vues dans les autres UEs de RO ou de décision. Son objectif est d'étudier les outils (programmation et manipulation de logiciels) nécessaires à la résolution sur machine de ces problèmes, pour des instances de taille réelles. Ce module est également l'occasion de sensibiliser à la diversité des applications possibles. Domaines privilégiées : décision dans l'incertain, tournées de véhicules, bioinformatique, télécommunications, ordonnancement, conception de circuits intégrés, etc.
Expérience du responsable dans le domaine de l’UE
FOUILHOUX Pierre:
Thèmes de recherche : Optimisation Combinatoire (graphes, méthodes polyédrales,
méthodes approchées,...) et Recherche Opérationnelle (modèlisation et réalisations
de logiciels en génomique, télécommunications, ordonnancement,...- Cours
d’Algorithmique, Recherche Opérationnelle et Méthodes Polyédrales à Paris VI.
WUILLEMIN Pierre-Henri:
Thème de recherche : Réseaux bayésiens, Inférence bayésienne, Apprentissage statistique, Processus de Décision Markoviens, Décision dans l'incertain et Modélisation. Cours d'algorithmique, de Reconnaissance des Formes et d'Introduction à la Décision, de Théorie des jeux (L et M, Paris VI).
