Enseignements en 2008/2009

• Master Vietnam 2 : Cours et TD de Conceptions Formelles.
• Master Informatique 1 : Cours et TD de Conceptions Formelles.
• Master BioInformatique 1 : Cours d'Algorithmique et Structures de Données.
• ENSEIRB 3 : Cours et TD de Conceptions Formelles.
• Licence Informatique 4 & 6 : Cours de Bases de Données

Enseignement : historique par année

• Master Informatique 2 : Cours et TD de Conceptions Formelles.
• Master Vietnam 2 : Cours et TD de Conceptions Formelles.
• Master Informatique 1 : Cours et TD de Conceptions Formelles.
• Master BioInformatique 1 : Cours d'Algorithmique et Structures de Données.
• ENSEIRB 3 : Cours et TD de Conceptions Formelles.
• Licence Informatique 4 & 6 : Cours de Bases de Données

• Master Informatique 2 : Cours et TD de Conceptions Formelles.
• Master BioInformatique 1 : Cours d'Algorithmique et Structures de Données.
• Master BioInformatique 1 : TD d'Algorithmique et Structures de Données Avancés.
• ENSEIRB 3 : Cours et TD de Conceptions Formelles.
• Licence Informatique 6 : TD en Algorithmique des Graphes
• Licence Informatique 3 : Cours de Bases de Données

• Master Informatique 2 : Cours et TD de Conceptions Formelles.
• Master Informatique 2 : Cours et TD de Formalismes de Description de Systèmes.
• Master BioInformatique 1 : TD d'Algorithmique et Structures de Données Avancés.
• ENSEIRB 3 : Cours et TD de Conceptions Formelles.
• Licence Informatique 6 : TD en Algorithmique des Graphes
• Licence Informatique 3 : Cours de Bases de Données

• Master Informatique 2 : Cours et TD de Conceptions Formelles.
• Master Informatique 2 : Cours et TD de Formalismes de Description de Systèmes.
• Master BioInformatique 1 : TD d'Algorithmique et Structures de Données.
• Master BioInformatique 1 : TD d'Algorithmique et Structures de Données Avancés.
• ENSEIRB 3 : Cours et TD de Méthodes Formelles dans l'Ingénierie du Logiciel.
• Licence Informatique 6 : TD en Algorithmique des Graphes

• Master Informatique 2 : Cours et TD de Conceptions Formelles.
• Master Informatique 2 : Cours et TD de Formalismes de Description de Systèmes.
• Master BioInformatique 1&2 : TD d'Algorithmique et Structures de données.
• ENSEIRB 3 : Cours et TD de Méthodes Formelles dans l'Ingénierie du Logiciel.
• IUP MIAGe 3 : Cours de Programmation Orientée Objets.
• Licence Informatique 1 : TD en Utilisation des Systèmes Informatiques

• DESS GL : Cours et TD de spécification formelle.
• DESS ISC : TD d'Algorithmique et Structures de données.
• ENSEIRB 3 : Cours et TD de Méthodes Formelles dans l'Ingénierie du Logiciel.
• IUP MIAGe 3 : Cours de Programmation Parallèle.
• IUP MIAGe 3 : Cours de Programmation Orientée Objets.
• MAITRISE : TD de Analyse Syntaxique et Compilation.

• DESS GL : Cours et TD de spécification formelle.
• DESS ISC : TD d'Algorithmique et Structures de données.
• DESS ISC : TD d'Utilisation des Systèmes Informatiques.
• ENSEIRB 3 : Cours et TD de Méthodes Formelles dans l'Ingénierie du Logiciel.
• IUP MIAGe 3 : Cours et TD de Programmation Parallèle.
• IUP MIAGe 3 : Cours de Programmation Orientée Objets.
• MAITRISE : TD de Analyse Syntaxique et Compilation.

• DESS GL : Cours et TD de spécification formelle.
• DESS ISC : Cours et TD de spécification formelle.
• ENSERB 3 : Cours et TD de Méthodes Formelles dans l'Ingénierie du Logiciel.
• IUP MIAGe 3 : Cours et TD de Programmation Parallèle.
• IUP MIAGe 3 : Cours de Programmation Orientée Objets.
• MAITRISE : Cours de Systèmes d'Exploitation.
• MAITRISE : TD de Analyse Syntaxique et Compilation.

• DESS GL : Cours et TD de spécification formelle.
• ENSERB 3 : Cours et TD de Méthodes Formelles dans l'Ingénierie du Logiciel.
• IUP MIAGe 3 : Cours et TD de Programmation Parallèle.
• IUP MIAGe 3 : Cours et TD de Programmation Orientée Objets.
• MAITRISE : Cours de Systèmes d'Exploitation.

• DESS GL : Cours et TD de spécification formelle.
• ENSERB 3 : Cours et TD de spécification formelle.
• IUP MIAGe 3 : Cours et TD de Programmation Parallèle.
• IUP MIAGe 3 : TD de Programmation Orientée Objets.
• MAITRISE : Cours de Systèmes d'Exploitation.

• DESS GL : Cours et TD de spécification formelle.
• ENSERB 3 : Cours de spécification formelle.
• IUP MIAGe 3 : Cours et TD de Programmation Parallèle.
• IUP MIAGe 3 : TD de Programmation Orientée Objets.
• MAITRISE : Cours de Systèmes d'Exploitation.

• DESS GL : Cours et TD de spécification formelle.
• IUP MIAGe 3 : Cours et TD de Programmation Parallèle.
• MAITRISE : Cours de Systèmes d'Exploitation.

• DESS GL : Cours et TD de spécification formelle.
• IUP MIAGe 3 : Cours et TD de Programmation Parallèle.
• IUP MIAGe 3 : Cours et TD de Bases de Données.
• MAITRISE : TD de Maîtrise des Techniques Informatiques.
• MAITRISE : TD de Bases de Données.

• DESS GL : Cours et TD de spécification formelle.
• IUP MIAGe 3 : Cours et TD de Programmation Parallèle.
• MAITRISE : TD de Maîtrise des Techniques Informatiques.
• MAITRISE : TD de Bases de Données.

• DESS GL : TD de spécification formelle.
• DESS GL : Cours et TD de Réseaux et Protocoles.
• MAITRISE : TD de Maîtrise des Techniques Informatiques.
• MAITRISE : TD de Bases de Données.

• DEUG : TD de scheme.
• LICENCE AES : TD d'Excel.
• MAITRISE : TD de Maîtrise des Techniques Informatiques.
• MAITRISE : TD de Bases de Données.