Master de sciences et technologies mention : informatique

Acronyme : apmm	Spécialité : RES	3 ECTS	Niveau : 500	Semestre : S4
Titre : Applications multimédia
Responsable : Timur FRIEDMAN		Répartition hebdomadaire ou semestrielle
		(30h/7 semaines)
Contenu Cette UE a pour objectif de donner aux étudiants un premier aperçu des différentes phases du traitement des données multimédia, telles que codage et décodage, compression, structuration et description, et applications. Applications du multimédia communicant : web, XML, HTML, VoIP, vidéo stockée, vidéo en temps réel, vidéoconférence, jeux interactives. Structuration des contenus multimédia. Stockage des données vidéo. Codage du texte et du son. Codage des images et des objets 3D. Compression et redondance (FEC).
Expérience du responsable dans le domaine de l’UE Maître de conférences, réseaux informatiques, UPMC/LIP6, 2002-. PhD, Computer Science, Univ. of Massachusetts Amherst, 2002. Masters, Computer Science, Univ. of Massachusetts Amherst, 1995. Masters, Management, Stevens Inst. of Technology, 1991. Bachelors, Harvard Univ., 1987. Responsable, UE IM (prédécesseur de APMM), 2002-2004. Responsable, UE APMM, 2004-. Éditeur d’un norme de l’IETF qui porte sur les mesures de qualité de la voix sur internet, et des applications multimédia en général.
Réalisations du responsable dans le domaine de l’UE Jérémie Leguay, Timur Friedman, Vania Conan and Serge Fdida. "Connectivity Aware Routing In Ad-hoc Networks." Proc. IFIP PWC'05. Timur Friedman, Ramón Cáceres, Alan Clark, Kevin Almeroth, Robert Cole, Nick Duffield, Kaynam Hedayat, Kamil Sarac and Magnus Westerlund. "RFC 3611: RTP Control Protocol Extended Reports (RTCP XR)." IETF, Nov. 2003. Ramón Cáceres, Nick Duffield and Timur Friedman. "Impromptu Measurement Infrastructures using RTP." Proc. IEEE Infocom 2002. Nick Duffield, Joseph Horowitz, Don Towsley, Wei Wei and Timur Friedman. "Multicast-Based Loss Inference with Missing Data." IEEE JSAC, vol. 20, no. 4, pp. 700-713. May, 2002. Andrew Adams, Tian Bu, Ramón Cáceres, Nick Duffield, Timur Friedman, Joseph Horowitz, Francesco Lo Presti, Sue Moon, Vern Paxson and Don Towsley. "The Use of End-to-End Multicast Measurements for Characterizing Internal Network Behavior." IEEE Communications Magazine. May, 2000.

Acronyme : aps	Spécialité : STL	6 ECTS	Niveau : 400	Semestre : S2
Titre : Analyse des programmes et sémantique
Responsable : Thérèse HARDIN		Répartition hebdomadaire ou semestrielle
		(CM: 2h00)(TD: 2h00)(TME: 2h00)
Contenu Ce cours permet d'acquérir une bonne connaissance des significations pouvant être attribuées aux constructions syntaxiques de programmes, des méthodes de raisonnement et de validation des programmes. Il forme à la conception et au développement raisonné d'applications et facilite la compréhension des choix et modes de fonctionnement des outils et ateliers de développement. Avoir suivi l'UE Fondements de la Programmation de licence est une bonne préparation.
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.