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.