Enseignements

Enseignements effectués en 2005-2011 à l’Université de Caen:
CM essentiellement (et un peu de TD et TP en 2005-2008)
Publics concernés:
-    Licence 2ème année Sciences (“Parcours” Informatique, Maths, MASS, Sciences pour l’Ingénieur) ;
-    Licence 3ème année d’Informatique ;
-    Master 1 d’Informatique et de Math-Informatique ;
-    Master 2 Recherche “Algorithmes et Modèles de l’Information” et  Math-Informatique ;
-    Master 2 Professionnel “Informatique et Aide à la Décision”.

• Service annuel effectué en 2008-2011 (délégation au CNRS au 1er semestre): 99H équivalent TD sur 3 modules :
-    Méthodes algorithmiques en M1 Info et Math-Info (programmation dynamique, diviser pour régner, algorithmes sur les graphes, méthodes de flots, etc.) ;
-    Calculabilité et complexité en M1 Info et Math-Info (calculabilité sur machines de Turing et RAM, thèse de Church, problèmes indécidables, problèmes NP-complets et théorème de Cook) ;
-    Outils formels en M2 R Info et Math-Info : logique, graphes et hypergraphes, problèmes NP-complets et complexité paramétrée ; applications aux problèmes de requêtes et de satisfaction de contraintes (+ deux encadrements de stages M2 R).

Service annuel effectué en 2005-2008 : 196 H équivalent TD sur 6 modules :
-    Introduction aux bases de données en Licence 2 Sciences (calcul relationnel et programmation en SQL / MySQL) ;
-    Bases de données en Licence 2 Info (calcul relationnel et programmation avancée en MySQL, dépendances et normalisation, conception de schémas de bases de données) ;
-    Optimisation combinatoire en M2 Info Pro (plus courts chemins, flots maximaux, flots de coût minimal) ;
-    Méthodes algorithmiques en M1 Info et Math-Info ;
-    Calculabilité et complexité en M1 Info et Math-Info ;
-    Outils formels en M2 R Info et Math-Info.