Matthieu Manceny

/

Enseignements à l'ISEP (depuis 2009)

Première année (Bac+3)

• APP Informatique
• Sytème et programmation structurée (C)

Deuxième année (Bac+4)

• Approches formelles / Model checking
• Bases de données
• Conception et programmation orientée objet
• Introduction à la bioinformatique

Troisième année (Bac+5)

• Algorithmique avancée

Enseignements précédents

École Centrale Paris (2007 – 2009)

Première année (Bac+3)

• Informatique : théories et applications
• Algorithmes et programmation (python)

Deuxième année (Bac+4)

• Systèmes d'informations
• Programmation avancée (python)
• Étude de cas Conception-Développement-Recherche

Université d'Évry-Val d'Essonne (2004 – 2007)

L1 (Bac+1)

• Bureautique
• Programmation fonctionnelle (Caml)

L2 (Bac+2)

• Conduite de projet programmation
• Introduction à la théorie des langages formels

L3 (Bac+3)

• Algorithmique des graphes
• Introduction à l'algorithmique
• Logique et programmation fonctionnelle (Caml)
• Théorie des graphes et optimisation

M1 (Bac+4)

• Biologie intégrative
• Modélisation et simulation informatique (mathematica)