Index

Lors de mon passage à l'Université de Franche-Comté, j'ai réalisé quelques enseignements durant ma thèse au sein du Laboratoire d'Informatique. Je tenais d'ailleurs à remercier toutes les personnes avec et grâce auxquelles j'ai pu réaliser ceux-ci avec succès.

Description des enseignements au Laboratoire d'Informatique de l'Université de Franche-Comté.

Travaux Pratiques de Base de Données dans le cadre de la Licence Génie Mathématiques et Informatique à l’UFR des Sciences et Techniques de Besançon.

Ce module a pour but d’initier les étudiants aux techniques des bases de données. Lors de ces Travaux Pratiques, nous partons du modèle conceptuel pour obtenir finalement une base de données ACCESS. Les étudiants créent les tables, définissent les règles d’intégrité référentielle entre ces tables et écrivent quelques requêtes. À la fin des Travaux Pratiques les étudiants ont réalisés une base de données complète. Ils dominent des notions avancées de SQL (création de tables, différents types de requêtes, …) mais aussi des notions leur permettant de créer des formulaires, des états et des programmes pour concevoir des applications à part entière.

Travaux Dirigées et Travaux Pratiques de Base de Données dans le cadre du MIAS 2  à l’UFR des Sciences et Techniques de Besançon.

Ce module me tient à cœur car il me permet d’enseigner à un public qui n’est pas destiné à devenir informaticien. Le sujet de Travaux Pratiques sur lequel les étudiants travaillent est semblable à celui proposé dans la filière informatique, mais bien entendu le niveau de maîtrise demandé est moins important.

Travaux Pratiques d’Algorithmique Combinatoire dans le cadre de la Maîtrise Génie Mathématiques et Informatique à l’UFR des Sciences et Techniques de Besançon.

Ce module a pour but de sensibiliser les étudiants à la théorie des graphes et à l’utilisation des techniques basées sur ceux-ci pour résoudre différents problèmes (optimisation, …). Nous faisons utiliser aux étudiants les langages C++ et Java pour implanter des librairies permettant de représenter et manipuler des graphes. Les étudiants commencent par définir plusieurs structures autorisant la création de graphes et des fonctions nécessaires à la manipulation de ces structures (ajout et suppression de nœuds et d’arc, parcours en profondeur et en largeur). Différents algorithmes comme le calcul du chemin le plus court entre deux nœuds, les composantes fortement connexes, le calcul des chemins critiques, … doivent être implantés sur ces structures.

Travaux dirigés et Travaux Pratiques d’ingénierie des protocoles et applications réparties dans le cadre du DESS Systèmes Distribués et Génie Logiciel à l’UFR des Sciences et Techniques de Besançon.

Dans ce module, les étudiants s’initient à la modélisation des systèmes d’événements et à la vérification de ceux-ci. Chaque année nous proposons un nouveau système à spécifier et à vérifier. Les étudiants utilisent PROMELA pour décrire le système d’événements et de la Logique Temporelle Linéaire pour exprimer des propriétés dynamiques sur ces systèmes. La vérification de ces propriétés est réalisée en utilisant le model-checker SPIN. Cet enseignement me tient particulièrement à cœur puisqu’il est lié à mon domaine de recherche et je pense que la sensibilisation des étudiants aux méthodes formelles est importante dans le cursus informatique.

Travaux Pratiques de Modélisation des systèmes dans le cadre de l’IUP2 Génie Mathématiques et Informatique à l’UFR des Sciences et Techniques de Besançon.

Dans ce module, les étudiants découvrent la modélisation des systèmes informatiques et principalement des files d’attente. Je réalise l’encadrement de tous les groupes de Travaux Pratiques pour cet enseignement. J’ai donc défini le sujet conjointement avec le responsable du module. À la fin des séances de Travaux Pratiques, les étudiants doivent avoir réalisés un simulateur de file d’attente M/M/1. Ils doivent rendre le simulateur (sources et exécutable) ainsi qu’un rapport concernant différentes observations réalisées lors de l’utilisation de celui-ci. Ces Travaux Pratiques permettent aux étudiants de faire le lien entre les formules vues en cours et manipulées en Travaux Dirigés et leurs signification dans la pratique.

Travaux Pratiques de Mathématiques et Informatique dans le cadre du DEUG Génie Mécanique à l’UFR des Sciences et Techniques de Besançon.

Ce module est une initiation à la programmation pour les étudiants en DEUG Génie Mécanique. Au cours de ces Travaux Pratiques, nous donnons aux étudiants les bases nécessaires à l’écriture de programmes dans des langages de programmation impératifs. Les étudiants à la fin des Travaux Pratiques doivent pouvoir écrire de petits programmes simples dans un langage impératif en utilisant des structures de contrôles (conditionnelles, boucles, …), des fonctions et des procédures.

Travaux Pratiques de Programmation fonctionnelle dans le cadre de la Licence Génie Mathématiques et Informatique à l’UFR des Sciences et Techniques de Besançon.

Ce module a pour but une initiation à la programmation fonctionnelle au travers du langage Scheme. À la fin de l’année, les étudiants doivent avoir intégrés les différentes notions liées à la programmation fonctionnelle.

Cette page a été mise à jour le 20/08/09.