Enseignement

Mes enseignements à Grenoble (UJF) :

Cours et TD du Module Architecture matérielle des systèmes embarqués (option) du Master 2 Pro Génie Informatique, 2010-2011.
Cours et TD du Module Introduction à la modélisation et à la vérification des systèmes numériques (option) du Master 1 Informatique, 2011-2012.
Cours du Module Système de la L3 MIAGE, 2011-2012.
Cours, TD, TP du Module INF111 (Méthodes informatiques et techniques de programmation) de la Licence Sciences et Technologies, 2011-2012.
TP du Module Réseaux du Master 1 Informatique, 2008-2010.
TD du Module ALM (Architectures logicielles et matérielles) de RICM 1 (Réseaux Informatiques et Communication Multimédia, Polytech'Grenoble), 2008-2009.

Pour tout étudiant inexpérimenté dans les exposés écrits et oraux, voici quelques conseils.

Mes enseignements à Nice, jusqu'en 2007 :

Cours du Module Introduction à la programmation C de Licence 1 MASS, 2006-2007.
Cours du Module I3 (Introduction à Caml) du Master 1 Informatique, 2006-2007.

Voir ici pour les travaux pratiques.
Module UE9 (Modélisation et validation des systèmes numériques) du Master 2 STIC spécialité "Systèmes embarqués", 2007-2008.
Module UE9 du Master 2 STIC spécialité "Systèmes embarqués", 2006-2007.
Option Electronique Digitale du Master 1 Informatique, 2005-2006.
Cours du Module Introduction à la programmation Java de Licence 3 MASS, 2005-2006.
TP du Module Programmation orientée objet de la Licence 3 d'Informatique, 2005-2006.
Cours du Module I3 (Introductions à C++ et Caml) du Master 1 Informatique, 2005-2006.
Cours du Module L2' (approfondissement de l'étude du langage C) de la Licence d'Informatique, 2003-2004.
TP du Module L3' (programmation système) de la Licence d'Informatique, 2003-2004.

Quelques uns de mes enseignements en deuxième et troisième cycle à Marseille (Université de Provence), jusqu'en 2002 :

Cours de système UNIX et langage C en Licence d'Informatique, de 1995 à 1998, transparents en PostScript.
Cours de programmation orientée objet, en Maîtrise d'Informatique de 1992 à 1996, en DESS "Instrumentation, Capteurs, et Communications Industrielles" de 1997 à 2000, et dans le DTUP "IST" (maintenant Licence Professionnelle NTI) de 1998 à 2002.
Cours d'architecture des ordinateurs en Licence d'Informatique.
Cours de parallélisme (option) en Maîtrise d'Informatique.
Cours de modélisation des systèmes numériques et langage VHDL (option) en Maîtrise d'Informatique de 1996 à 2000.
Travaux Dirigés et Travaux Pratiques de réseaux en Maîtrise d'Informatique (administration, programmation client/serveur TCP/IP en C et JAVA), sujets commentés de TD/TP.
Travaux Pratiques de programmation fonctionnelle (Lisp, Caml) en Maîtrise d'Informatique, et de logique en Licence d'Informatique.
Cours de vérification formelle des systèmes informatiques en DEA d'Informatique (thème "Systèmes parallèles et communicants" du DEA).

Dernière modification 2 janvier 2013