La maîtrise des langages informatiques est indispensable pour un informaticien. Ce parcours a comme objectif d’enseigner les concepts qui sont à la base à la fois des langages de programmation et des langages de données. Le but est moins d’enseigner tel ou tel langage de programmation qui est actuellement à la mode mais d’enseigner des fondements qui permettent à des informaticiens futurs de s’adapter à l’évolution des langages de programmation. Les informaticiens ayant suivi ce parcours devront savoir comparer les avantages des approches différentes à la programmation, et évaluer l’adaptation d’une approche pour un projet logiciel. Les enseignements dispensés concernent à la fois les paradigmes fondamentaux des langages comme les approches logiques, fonctionnelles et orientées objets, et également les techniques avancées de la compilation, et l’utilisation pratique de compilateurs modernes.
Responsable pédagogique: Ralf Treinen - Tél : 01 57 27 92 44, Email : treinen [ at ] irif.fr
Informations administratives: Sylvia Crochet - Tél : 01 57 27 68 98, Email : sylvia.crochet [ at ] informatique.univ-paris-diderot.fr
L’année du M2 s’articule autour de trois périodes:
Pour un parcours LP vous devez valider, à part l’Anglais, les trois modules obligatoires de ce parcours, 5 modules de votre choix parmi les modules suggérés en première et deuxième période et 3 modules de votre choix parmi tous les modules du M2 (i.e parmi « modules suggérés » et « autres modules »). L’équipe pédagogique veillera à la cohérence du parcours choisi.
cours | LP | responsables 2018-19 |
---|---|---|
Anglais | OBL | cours assuré par le département LANSAD |
Programmation Objet : concepts avancés (POCA) | OBL | Yann Régis-Gianas |
Concepts avancés de Bases de Données | SUG | Emmanuel Fuchs |
Méthodes formelles de vérification | SUG | Ahmed Bouajjani |
Modélisation et Spécification | SUG | François Laroussinie |
Programmation synchrone | SUG | Eugène Asarin |
Formats de documents et XML | SUG | Olivier Carton |
Voir l'emploi du temps du M2 pour la liste des autres cours proposés.
cours | LP | responsables 2017-18 |
---|---|---|
Compilation avancée | OBL | Pierre Letouzey |
Programmation comparée | OBL | Yann Régis-Gianas |
Architecture des Systèmes d'Information | SUG | Emmanuel Fuchs |
Interface et Outils de MacOSX | SUG | Jean-Baptiste Yunes |
Programmation logique et par contraintes avancée | SUG | Ralf Treinen |
Programmation répartie | SUG | Hugues Fauconnier |
Typage | SUG | Giovanni Bernardi |
Stage en entreprise, d’une durée de 4 à 6 mois, entre le 1 avril et le 30 septembre.