Enseignements

J'ai eu la responsabilité de tous les enseignements dont j'ai effectué les cours magistraux.

Actuellement, à l'Université d'Artois :

• outils formels (M2 - recherche "Systèmes intelligents et applications", CM)
• planification (M2 - recherche "Systèmes intelligents et applications", CM)
• logique pour l'informatique  (M1 - Sciences "Mathématiques et informatique", CM+TD)
• recherche opérationnelle (M1 - Sciences "Mathématiques et informatique", CM+TD+TP)
• mathématiques pour l'informatique (L3 - Sciences "Mathématiques et informatique", CM+TD)

Par le passé, à l'Université d'Artois, j'ai assuré les enseignements suivants :

• algorithmique et programmation Scheme (L 1 - Sciences "Mathématiques et informatique", TD+TP)
• algorithmique et programmation Python (L 1 - Sciences "Mathématiques et informatique", TD)
• théorie des langages (L 2 - Sciences "Mathématiques et informatique", TD)
• compilation (L 3 - Sciences "Mathématiques et informatique", CM+TD)
• traitement de l'incertain (DEA d'informatique "Systèmes intelligents et applications", CM)
• bases de données (licence d'informatique, CM+TD)
• calcul scientifique (licence de mathématiques, CM)
• programmation avec Maple (cours commun aux licences de physique et de chimie, CM+TP)
• algorithmique et programmation Pascal (DEUG MIAS 2, CM+TP)

A Nancy, entre 1987 et 1996, j'ai eu également l'opportunité d'assurer des enseignements variés
dans les trois cycles de formation, en école d'ingénieurs, en formation initiale ou continue, à
destination de publics de formation scientifique ou non. Outre l'algorithmique et la programmation
impérative, j'ai ainsi enseigné la programmation logique et l'intelligence artificielle.