Teaching (in French)
À Polytech
- Responsable du pôle informatique transversale
- Passeport Informatique: site Moodle (clé d'inscription requise)
- Architecture des ordinateurs: site Moodle (clé d'inscription requise)
À la Faculté des Sciences
- Modélisation et Programmation par Objets 2 (HLIN505): site Moodle (clé d'inscription requise)
- Modélisations formelles pour le génie logiciel (HMIN308): site Moodle (clé d'inscription requise)
Sujets de TER
- TER L3: Une interface graphique pour réaliser des preuves en logique classique
- TER L3: Une commande « make » compatible avec les clusters
- TER M1: Réalisation d’outils d’aide au développement pour C++