Enseignements


Mes enseignements actuels sont les suivants :

           Techniques pour la Conception de Programmes Fiables (Cours-TD-TP pour le Master 2ème année I2A et Master 2ème année MINT)
              Sémantique Formelle pour les Langues Naturelles (Cours pour le Master 2ème année IF)
          
Bases de données (TD-TP-Projet pour les Master 1ère année, Licence 2ème année puis Licence 3ème année)
           Programmation C (TD-TP pour la Licence 1ère année)
           Encadrement de projets T.E.R. (Projet pour le Master 1ère année)
           Encadrement de projets de fin d'études (
Projet pour le Master 2ème année I2A)


Il y a quelques années, j'ai enseigné :

            Processus, Communication et Réseaux  (Cours-TD-TP pour le Master 1ère année puis Licence 3ème année)
            Logique (TD pour la Licence
3ème année)
            Programmation Fonctionnelle et Caml (TD-TP
pour le Deug 1ère année)
            Langages orientés objets et C++ (TD-TP pour la Maîtrise et pour un DU)
            Algorithmique et Programmation impérative avec Pascal (TD-TP pour le Deug 1ère et 2ème année)
                Aspects pratiques de l'assistant de preuves Coq (Cours pour le DEA Informatique et Mathématiques)