Teaching [only available in french]

2013-2014

• LICENCE 2ème année (mention Informatique)

  Programmation Fonctionnelle (S3) (responsable du module)

  Période d'automne : CM 14h
  

  Période de printemps : CM 14h

  Architecture des Ordinateurs (S3)

  Période d'automne : TP 2x12h

  Structures de Données, Algorithmes 2 (S4)

  Période d'automne : TD 1x22h - TP 1x12h - CC

  
  

• MASTER 1ère année

  Compilation (S1 ILC-ISI-RISE) (responsable du module)
  

  CM 28h - TP 1x12h

  Sémantique (S2 ILC-ISI) (responsable du module)
  

  CM 18h - TD 21h
  

  Initiation à la recherche (S2)
  

  CM 3h
  

  
  

2012-2013

• 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

  Période d'automne : TD 10h - TP 1x20h - CC

            Période de printemps : TD 10h - TP 1x20h - CC

  Bases de données

  Période d'automne : TP 1x8h - CC

  
  

• MASTER 1ère année

  Compilation (responsable du module)
  

  CM 28h - TP 1x12h - CC

  Sémantique (responsable du module)
  

  CM 18h - TD 18h - CC
  

  
  

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 - CC

  Sémantique (responsable du module)
  

  CM 18h - TD 18h - CC
  

  
  

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

  
  

. . .