Enseignements

DEA Informatique :

                - Agents progressifs et "anytime"
                - Planification sous incertitude
                - Théorie de la décision et MDP
                - Apprentissage, Planification et Coordination dans les MDPs distribués.

DESS Réseaux et Applications Documentaires :

                - Systèmes Répartis
                - Applications :
                        Commerces éléctroniques
                        Systèmes intelligents à la gestion de situaions de crises

Maitrise Informatique : Génie Logiciel

            - Spécification structurée et Orientée Objets
            - Conception structurée et Orientée Objets
            - Validation et Vérification
            - Gestion des projets : Planification et estimations des coûts

Licence Informatique : Algorithmique et Complexité

            - Structures linéaires : listes chaînées, piles, files, ...
            - Structures d'arbres : les arbres binaires et de recherche, ABR Rouge et Noir.
            - Les arbres généralisés, B-arbre
            - Tri
            - Complexité
            - Graphes
            - Hachage de tables

Licence Informatique : Programmation fonctionnelle

            - Introduction au langage Haskell
            - Manipulations des listes
            - Techniques de recherche
            - Planification linéaire
            - Théorie des jeux
            - Le contrôle de flots de données : listes infinies