Yann Thierry-Mieg

Autres Enseignements, supports

J’ai enseigné dans diverses écoles d’ingénieur (EFREI, ECE, EPSI) et dans des formations professionnelles (Unilog) les sujets suivants :

Bases de données relationnelles, SQL, PL/SQL, Administration Oracle (niveau M1, EFREI,ECE)
Génie Logiciel, groupes de projet par équipe de 8, 24 ECTS sur l’année (niveau M1, EFREI)
Communications Unix, Introduction au Système, Python et Unix : utiliser un système d’exploitation, comprendre ses composantes (niveau L3, ECE, EPSI, L3 UPMC)
Programmation Orientée Objet : en Java, en C++ (niveaux L3 et M1, EFREI, UPMC)
UML, modélisation, ingéniérie dirigée par les modèles (niveaux L3 au M2, EFREI, UPMC, PARIS13)
Vérification formelle : model checking symbolique (niveaux M2 à doctoral +, écoles d’été, keynote, tutoriaux internationaux)

Un certain nombre de supports utilisés au fil du temps sont stockés ici pour archive (un peu en vrac).

La programmation répartie et son interaction avec l’OS (POSIX), en Master 1 Informatique à l’UPMC: Programmation Répartie, PR 4I400.

Entre 120 et 140 inscrits. Etudiants de multiples spécialités, spécialité d’appartenance SAR.

Responsable de l’UE à partir de 2018, intervenant depuis 2017.

La programmation orientée objet avancée en licence 3 d’Informatique à l’UPMC: Programmation Orientée Objet en Java, POBJ 3I002.

Entre 190 et 210 inscrits.

Co-responsable de l’UE depuis 2011 (avec O. Sigaud, E. Chailloux, puis actuellement A. Miné), intervenant depuis 2009.

Le génie logiciel en Master 1 Informatique à l’UPMC: Ingéniérie du Logiciel, 4I502.

Entre 130 et 150 inscrits, toutes spécialités confondues. Spécialité de rattachement Sciences et Technologies des Langages STL.

Responsable de l’UE depuis 2010, intervenant depuis 2006.

J’ai développé et je distribue la libDDD, une bibliothèque C++ efficace permettant la manipulation des diagrammes de décision hiérarchique : les SDD.

La présentation de la libDDD est sur Page de description

Le projet est ici GitHub