Mathias Péron

me joindre - curriculum vitæ

curriculum vitae
annexe 2

05/12/2010

Mathias Péron

Détail des enseignements
2^ième cycle

• Chaque module est décomposé en 32 heures de cours et 32 heures de travaux dirigés. Plusieurs devoirs agrémentent chaque cours. Les modules de projet ou de langues font l'objet de 24 heures de cours.
  L'évaluation des cours comprend des devoirs, un partiel et un examen final.


• Les volumes horaires sont différents d'un cours à l'autre. L'ensemble des modules effectués représente 31,5 crédits ECTS.

Licence - Magistère Informatique

• • Concepts fondamentaux et techniques de l'algorithmique: paradigmes classiques, mathématiques discrètes, complexité, NP-complétude, notions générales sur les autres thématiques de l'algorithmique
  • Circuits logiques et séquentiels, ordinateur de Von Neumann, étude des processeurs (RISC, CISC), étude d'un système complet (bus, interruptions)
  • Concepts de modèles (Kripke) et calcul des propositions (systèmes de preuves, correction, complétude, validité), déduction naturelle, calcul des prédicats, introduction au λ-calcul
  • Principes généraux (structures de données, gestion de la mémoire), étude complète de O'caml (évaluation, inférence de types, modularité, polymorphisme, objets), aspects recherche (programmation concurrente)
  • Découverte des systèmes d'exploitation, communications inter processus, compilation séparée, systèmes de fichiers
  • Expression orale autour de thèmes scientifiques

• • Systèmes de réécriture du premier ordre, et d'ordre supérieur. Notions de confluence, de terminaison et de complétion. Théorème de Knuth-Bendix. Forte normalisation, substitutions explicites en λ-calcul
  • Théorie des graphes, analyse des algorithmes: parcours, composantes connexes, graphes orientés, arbres, flots, coloration
  • Théorie des ordres partiels et treillis, automates à seuil, automates cellulaires, dynamique du tas de sable
  • Méthodes de conception et outils (uml, cvs, automake, ...), visite de quelques problématiques (répartition des compétences, documentation). Projet effectué : système générique d'agents distribués, 3 personnes
  • Gestion des ressources locales (processus, mémoire, systèmes de fichiers), extension aux architectures réparties (communications, synchronisation); développement des notions sous le mini-système Nachos
  • Organisation d'une présentation orale d'un article scientifique : solution d'AsymetricTSP à l'aide d'un algorithme génétique

Maîtrise - Magistère Informatique

• • Sémantique opérationnelle, dénotationelle et axiomatique. Sémantique du λ-calcul, machines abstraites, stratégies de réduction
  • Machines PRAM et complexité, réseaux d'interconnection, ordonnancement de tâches, machines vectorielles, réseaux systoliques, parallélisation automatique
  • Méthodologie pour la conduite de projet de grand envergure. Projet effectué: radio streamée multiutilisateurs avec base de donnée distribuée, 19 personnes
  • Conception et analyse d'algorithmes d'approximation (techniques combinatoires, randomisation, schémas d'approximation, programmation linéaire), classes de complexité (théorème PCP)
  • Automates et grammaires, analyse syntaxique et lexicale, analyse sémantique, typage, génération de code, optimisations globales, allocation des registres, ordonnancement d'instructions
  • Projet libre d'écriture sur des sujets d'actualités (armes à feu)

• • [4,5 ECTS, 48 heures] langages formels, grammaires CFG, automates finis, expressions et grammaires régulières, lemme de pompage , automates à piles, automates bidirectionnels
  • [6 ECTS, 64 heures] cryptographie classique, techniques modernes à clé privée, arithmétique, fonctions hash, problème du logarithme discret, cryptographie à clé publique, signature digitale, courbes elliptiques
  • [6 ECTS, 64 heures] science et technologies (Karl Popper, philosophie de la technologie, déterminisme technologique), impact social de l'informatique (définition de progrès, révolution des TIC), éthique de la profession d'informaticien, droit informatique
  • [4,5 ECTS, 64 heures] systèmes experts basés sur la connaissance (architecture, moteurs d'inférence, acquisition de la connaissance), traitement des langages naturels (analyse lexicale et syntaxique, formalisme logique, grammaires de clauses définies). Projets de recherche d'acronymes et de leur référence (clips et prolog)
  • [4,5 ECTS, 64 heures] modèle OSI, Ethernet (principes CSMA/CD, protocole ARP), protocole IP (adressage, routage, RIP, ICMPs, fragmentation), DNS, protocoles UPD et TCP (3WHS, contrôles de flux et de congestion), sockets, RPCs, mobile IP
  • [6 ECTS, 64 heures] modèle conceptuel, modèles logique, sémantique et normalisation, conception physique (considérations matérielles et statistiques), re-considération (dé-normalisation, triggers, redondances), optimisations, contrôle et maintenance. Projets: 8 bases de données implémentées sous Informix, Oracle et SqlServer