Master de sciences et technologies mention : informatique

Acronyme : isr	Spécialité : SAR	3 ECTS	Niveau : 500	Semestre : S4
Titre : Ingénierie des systèmes répartis
Responsable : Fabrice KORDON		Répartition hebdomadaire ou semestrielle
		(30h/7 semaines)
Contenu L'objectif de cette UE est de confronter les étudiants à un développement réel dans le domaine des systèmes répartis avec des contraintes que l'on trouve en milieux industriels : travail en équipe, analyse des besoins, conduite de projet, documentation, recettes...
Expérience du responsable dans le domaine de l’UE Outre le pilotage et la réalisation de nombreux logiciels libres, j'ai monté et piloté plusieurs projets institutionnels en relation avec des entreprises (EUREKA - IRENA de 1992 à 1996, BioMEdScape de 1996 à 1998, RNTL MORSE de 2003 à 2006). J'ai également à mon actifs plusieurs collaborations de longue date avec des industriels.
Réalisations du responsable dans le domaine de l’UE Responsable du projet universitaire CPN-AMI (500KLOC) depuis 1998. CPN-AMI est un logiciel libre distribué dans 47 pays Responsable du projet PolyORB (220 KLOC) en relation avec l'ENST (L. Pautet). PolyORB est un middleware libre utilisé par des industriels et des universitaires. C'est aussi un projet labelisé Objectweb. Initiateur et responsable scientifique pour le LIP6 dans le projet RNTL MORSE (180 KE et 38 homme/mois sur 3 ans) Responsable technique pour le MASI dans le projet IRENA (120 homme/mois sur 3 ans et demi)

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)
Contenu Ce 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’UE Quelques 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; http://focal.inria.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 Cours de Lambda-calcul dans les DEA ITCP, PSP, PSPL. Réalisation d'un polycopié disponible sur la page web de T. Hardin