Index

Durant mon DEA et les années précédentes, j’ai occupé le poste de maître d’internat au lycée agricole de Dannemarie sur Crête. À cette occasion, j’ai pu réaliser des cours de soutien en mathématiques et j’ai organisé des stages pour les options informatiques des différents examens préparés dans cet établissement.

J’ai effectué des enseignements tout au long de ma thèse. Ces enseignements prenaient place dans des formations au sein de l’UFR des Sciences et Techniques de l’Université de Franche-Comté. Étant allocataire de recherche, j’ai pu effectuer chaque année un service de 96 heures en tant qu’attaché temporaire vacataire. Dans un but de diversification et de formation, j’ai désiré enseigner à des publics aussi divers que possible tant au niveau de l’année d’études que de la spécialité du diplôme.

J'ai été Attaché Temporaire d’Enseignement et de Recherche au Laboratoire d’Informatique de l’Université de Franche-Comté. J’ai alors effectué mes enseignements au sein du Département d’Informatique de l’Université de Franche-Comté. Vous trouverez une description de ces enseignements ici.

Je donne maintenant un cours sur les méthodes formelles dans le cadre de la troisième année à l'ENSSAT à Lannion. Ce cours porte sur la spécification de système réactif. On y aborde la description de systèmes communicants et la vérification de propriétés sur ces derniers. Un TP illustre le cours dans lequel les étudiants découvrent l'outil TAU G2 et expérimente la modélisation de systèmes réactifs en utilisant cet outils puissant. Petit à petit dans ce cours apparait un volet consacré au test. Cette partie me semble en effet importante étant donné l'inexpérience en ce domaine des étudiants et l'importance du test en milieu industriel.

Projets d’enseignement

J’ai commencé à utiliser l’intranet pour la diffusion des sujets de Travaux Pratiques. Dans le cadre de mes enseignements futurs, je désire continuer à exploiter au maximum les possibilités que nous offrent les outils modernes : Internet, Intranet, logiciels d'aide à l'enseignement, logiciels d'animation, etc. Je pense mettre bientôt ici à disposition les différents slides utilisés dans le cadre de mes cours.

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