Enseignement

LICENCE L1 1er Semestre : Introduction aux systèmes d'exploitation 

LICENCE L2 1er Semestre : Programmation impérative

LICENCE L3 1er Semestre : Langages formels et raisonnements;

LICENCE L3 2e Semestre : Bases de données

MASTER M1 1er Semestre : Langages de Spécification

MASTER M1 2e Semestre : Introduction à la sécurité

MASTER M1 2e Semestre : Modélisation et vérification

MASTER M2 1er Semestre : MEVS

MASTER M2 1er Semestre : MELO

Sujets de stage de recherche MASTER M2

   Adresse mail : dima at univ-paris12 dot fr