Master de sciences et technologies mention : informatique

Réalisations du responsable dans le domaine de l’UE

• 
  Responsable du DEA Algorithmique à Paris 6, de 1998 à 2004.
  
• 
  Responsable de la spécialité STL de la mention Informatique du master Science et Technologie de l'UPMC, depuis 2004.
  
• 
  Responsable du parcours recherche du M2-STL, depuis 2004.
  
• 
  Responsable du groupe Algorithmes et Aléa dans l'équipe CalFor du LIP6.
  
• 
  Encadrement régulier d'étudiants en stage et en thèse.
  

Acronyme : gtstl2	Spécialité : STL	3 ECTS	Niveau : 500	Semestre : S4
Titre : Groupe de travail recherche 2
Responsable : Emmanuel CHAILLOUX		Répartition hebdomadaire ou semestrielle
		(30h/7 semaines)
Contenu Techniques de base pour la recherche (étude bibliographique, présentation scientifique, rédaction d'états de l'art) autour de la thématique « programmation ».
Expérience du responsable dans le domaine de l’UE Mes thèmes de recherche sont articulés autour des langages fonctionnels statiquement typés, en particulier du langage Caml.  Ces travaux s'inscrivent dans le développement d'environnement de programmation (compilation efficace, interopérabilité et aide au développement), dans la réalisation d'applications justifiant l'utilisation de tels langages et dans l'intégration d'autres paradigmes de programmation (parallélisme, programmation par objets) dans le cadre confortable du typage statique.
Réalisations du responsable dans le domaine de l’UE E. Chailloux "Pratique des langages fonctionnels typés", Habiliatation à diriger des recherches, université Paris 6, décembre 2003 E.  Chailloux, P. Manoury et B. Pagano, Développement d'applications avec Objective Caml, 700 pages, O'Reilly 2000 Coordinateur du groupe de travail "Programmation", laboratoire PPS (UMR 7126) en 99/2000, 2000/2001, 2004/2005 et 2005/2006 Nombreux projets de recherche nationaux, internationaux ou avec des industriels. Encadrement régulier d'étudiants en stage et en thèse.

Acronyme : hdl	Spécialité : ACSI	3 ECTS	Niveau : 500	Semestre : S3
Titre : Langages de description de matériel (Hardware description languages)
Responsable : Francois PECHEUX		Répartition hebdomadaire ou semestrielle
		(CM: 1h30)(TD/TMEintegré par groupe: 3h30)
Contenu Module fondamental visant la maîtrise des langages de description de matériel, ainsi que leur utilisation pour la modélisation des systèmes intégrés sur puce.
Expérience du responsable dans le domaine de l’UE Je suis Enseignant-Chercheur dans l'Equipe ACSI du LIP6. Je travaille sur la modélisation multi-abstraction de composants numériques complexes et sur la simulation efficace de systèmes sur puce multi-processeurs à espace mémoire partagé (traitement vidéo, réseau). Je m'intéresse également aux langages de modélisation de systèmes à temps discret (VHDL, Verilog, systemC) et à temps continu (VHDL-AMS, Verilog-AMS, SystemC-AMS), ainsi qu'à la synthèse de systèmes sur composants programmables. J'enseigne l'architecture des ordinateurs en L3, M1 et M2, la gestion et la programmation des périphériques et M1, les langages de description de matériel (HDL) en M2, et le prototypage rapide d'application mixtes matérielles/logicielles sur FPGA.
Réalisations du responsable dans le domaine de l’UE