[Research area]
[Curriculum
Vitae] [Publications]
[Research
projects]
[Teaching]
[Miscellaneous]
Teaching [only available in french]
2011-2012
- LICENCE 2ème année (mention Informatique)
-
Programmation Fonctionnelle (responsable du module)
-
- Période d'automne :
CM
14h - CT
- Période de printemps : CM
14h - CT
-
Programmation Système & Réseau
-
- TD
10h - TP
2x20h - CC
Programmation Orientée Objet
- TP
2x10h - CC
- MASTER 1ère année
-
Compilation (responsable
du module)
-
- CM 28h - CT
-
Sémantique (responsable
du
module)
-
- CM 18h - TD 18h - CC - CT
2010-2011
- LICENCE 2ème année (mention Informatique)
-
Programmation Fonctionnelle (responsable du module)
-
- Période d'automne :
CM
14h - CT
- Période de printemps : CM
14h - TD 14h - TP
2x8h - CC
- CT
-
Programmation Système & Réseau
-
- TD
10h - TP
20h - CC
- MASTER 1ère année
-
Compilation (responsable
du module)
-
- CM 28h - CT
-
Sémantique (responsable
du
module)
-
- CM 18h - TD 18h - CC - CT
2009-2010
- LICENCE 2ème année (mention Informatique)
-
Programmation Fonctionnelle (responsable du module)
-
- Période d'automne :
CM
14h - CT
- Période de printemps : CM
14h - TD 14h - CC
- CT
-
Programmation Système & Réseau
-
- TD
10h - TP
20h - CC
- LICENCE 3ème année
-
Programmation Distribuée
-
- TD
6h - TP
2x14h
- MASTER 1ère année
-
Compilation (responsable
du module)
-
- CM 28h - CT
-
Sémantique (responsable
du
module)
-
- CM 18h - CT
2008-2009
- LICENCE 2ème année (mention Informatique)
-
Programmation Fonctionnelle (responsable du module)
-
- Période d'automne :
CM
16h - TD 18h
- TP
2x6h - CC
- CT
- Période de printemps : TD 9h - TP 3h - CC - CT
-
Programmation Système & Réseau
-
- TD
10h - TP
20h
- LICENCE 3ème année
-
Programmation Distribuée
-
- TD
6h - TP
2x14h
- MASTER 1ère année
-
Compilation (responsable
du module)
-
- CM 28h - CT
- MASTER 2ème année
-
Transformations et adaptations de programmes
parallèles et distribués (UE optionnelle) (responsable du module)
-
- CM 12,5h
2007-2008
- LICENCE 2ème année (mention Informatique)
-
Programmation Fonctionnelle (responsable du module)
-
- CM
16h - TD 18h
- TP
2x6h - CC
- CT
-
Programmation Système & Réseau
-
- TD
10h - TP
4x20h
- LICENCE 3ème année - Parcours Fondamental
-
Programmation Distribuée
-
- TP 2x20h
- LICENCE 3ème année - Parcours RIA
-
Programmation Distribuée
-
- TP 2x20h
- MASTER 2ème année
-
Transformations et adaptations de programmes
parallèles et distribués (UE optionnelle) (responsable du module)
-
- CM 12,5h
2006-2007
- LICENCE 1ère année
-
Algorithmique et Programmation
-
- TD
18h - TP
2x15h - CC
- LICENCE 2ème année
-
Programmation Fonctionnelle (responsable du module)
-
- CM
16h - TD
2x18h - TP
3x6h - CC
- CT
-
Programmation Orientée Objet
-
- TP
3x20h - CC
-
Systèmes d'Information et Bases de données
-
- TD 2x8h - TP
3x7h - CC
- LICENCE 3ème année
-
Programmation Distribuée
-
- TP 2x20h
- MASTER 1ère année
-
Sémantique et spécifications
algébriques 1
-
- TP
2x6h
LMD
2004-2005
- IUP1 GMI
-
Algorithmique et programmation impérative
-
- TD 25h - TP 2x25h - CC
- LICENCE Info
-
Bases de données
-
- TD 1x16h - TP 2x9h - CC
-
Programmation orientée objet
-
- TD 10h - TP 2x10h
- DEA Info
-
Transformations et adaptations des programmes
parallèles (responsable du module)
-
- CM 20h - CT
- DESS Info
-
Modèles d'exécution et de programmation
parallèle (responsable de la partie programmation)
-
- CM 20h - TP
2003-2004
- IUP1 GMI
-
Algorithmique et programmation impérative
-
- TD 25h - TP 2x25h - CC
- LICENCE Info
-
Bases de données
-
- TD 1x16h - TP 2x9h - CC
-
Programmation orientée objet
-
- TD 10h - TP 2x10h
- DEA Info
-
Transformations et adaptations des programmes
parallèles (responsable du module)
-
- CM 20h - CT
- DESS Info
-
Modèles d'exécution et de programmation
parallèle (responsable de la partie programmation)
-
- CM 20h - TP
2002-2003
- IUP1 GMI
-
Algorithmique et programmation impérative (responsable
du
module)
-
- CM 20h - TD 25h
- TP
2x25h - CC - CT
- LICENCE Info
-
Bases de données
-
- TD 1x16h - TP 2x9h - CC
- MAITRISE Info
-
Spécifications formelles, preuves & construction
de programmes I (responsable du module)
-
- CM 18h - CT
- DEA Info
-
Transformations et adaptations des programmes
parallèles (responsable du module)
-
- CM 20h - CT
- DESS Info
-
Modèles d'exécution et de programmation
parallèle (responsable de la partie programmation)
-
- CM 20h - TP
2001-2002
- LICENCE Info
-
Programmation fonctionnelle
-
- TD 2x18h
- TP
3x9h - CC
- IUP2 GMI
-
Bases de données
-
- TD 2x16h - TP 3x8h - CC
- MAITRISE Info
-
Spécifications formelles, preuves & construction
de programmes I (responsable du module)
-
- CM 18h - TD 1x18h
- TP 1x9h -
CC -
CT
- DEA Info
-
Dérivation et transformation de programmes
parallèles (responsable du module)
-
- CM 24h - CT
- DESS Info
-
Modèles d'exécution et de programmation
parallèle (responsable de la partie programmation)
-
- CM 20h - TP
2000-2001
- MAITRISE Info
-
Sémantique des programmes (responsable du module)
-
- CM 20h - TD 1x19h - TP 1x8h - CC - CT
-
Spécifications algébriques
-
- TD 1x19h - TP 2x8h - CC
-
Programmation fonctionnelle
-
- TD 2x18h - TP 3x9h - CC
- DEA Info
-
Dérivation et transformation de programmes
parallèles (responsable du module)
-
- CM 24h - CT
- DESS Info
-
Modèles d'exécution et de programmation
parallèle (responsable de la partie programmation)
-
- CM 20h - TP
. . .