Professeur d'informatique à l'UFR Sciences et Techniques de l'Université de Franche-comté. J'y enseigne:
- Preuve et Evaluation de Programmes
en licence d'informatique et licence d'informatique à distance (cours Logique de Hoare - TD - TP Preuve en B)
- Spécifier et Vérifier pour Tester
en Master Informatique 2ème année(cours - TD - TP) :modéliser pour tester, raffinement, preuve de programmes séquentiels
- Spécifier pour Vérifier
en Master Informatique 2ème année(cours - TD - TP) : logiques temporelles, model-checking
- Automates finis et infinis
en Master Informatique 2ème année (cours) : produit d'automates, automates de Büchi, automates temporisés
- Compilation
en Master informatique 1ère année (TD - TP) : analyse syntaxique, sémantiques, génération de code
- Génie Logiciel
en Master informatique 1ère année : Modélisation et preuve en B
- Algorithmique et Programmation Java
en Licence Sciences et Techniques 1ère année, semestre Starter
Livre publié chez Vuibert : Cours et exercices corrigés d’algorithmique – Vérifier, tester et concevoir des programmes en les modélisant - février 2010. Table des matieres
J'ai enseigné :
- Architecture des machines parallèles en DESS
- Programmation parallèle en DESS
- Algorithmique et programmation en DUT Informatique, DEUG STPI et licence Informatique
- Système en MST Automatique, Electronique et Informatique Industrielle
