Enseignements

Enseignements actuels à Polytech'Nantes

J'assure actuellement (2014/2015) les enseignements suivants :


Groupe
(année)

Depuis
Génie logiciel (spécification, test) / Outils pour le génie logiciel (preuve de programmes, gestion de configuration/de version)
SILR
4
cours, TD, TP
2006
Programmation fonctionnelle
SILR + DUTIL
4
cours, TD, TP
2006
Projet de génie logiciel / Projet de génie logiciel et programmation objet
INFO
3
Projet
2008
Algorithmique et Projet PEIP
2
Cours, TP, Projet
2013
Mathématiques discrètes (sémantique des langages, algèbre)
IUT Informatique
1
TD
2014

logo polytech'nantes
Enseignements passés à Polytech'Nantes


Dimension génie logiciel dans le projet en collaboration avec une entreprise
INFO (Élèves ingénieurs) 4e année
2009-2014
Projet de génie logiciel (thème du jeu vidéo)
PEIP 2
2009-2014
Dimension génie logiciel dans le projet en collaboration avec une entreprise
INFO (Élèves ingénieurs) 4e année
2009-2014
Projet P2P en Erlang
SILR 5 (RS)
2005-2010
Vérification et validation SILR 5 (AL)
2005-2009
Calculabilité et complexité (TD)
INFO 4
2007 2008
Parallélisme (TP) SILR 4
2005-2008
Accueil algorithmique (TD, TP) INFO 3 (accueil)
2005-2008
Théorie des graphes (TD) INFO 3
2005-2007, 2014/2014
Structures de données (TP) INFO 3
2005-2008, 2013/2014
Logiques classiques (TD) INFO 3
2005-2008
Analyse de Fourier (cours/TD) SILR 3
2005-2007
Langages et traducteurs (TP) SILR 3
2005-2008
Moyens massifs de gestion de données ID 4
2005-2007
Systèmes pair à pair SILR 5
2005-2007
Compléments C (TP)
INFO 3
2005
Programmation objet (TP)
INFO 3
2005
architecture des systèmes d'expoitation (TP)
INFO 3
2005
Programmation système (TP) SILR 3
2005
Système (TP) INFO 3
(accueil)
2005
2006

logo polytech'nantes

À l'université de Paris Sud Orsay 2004/2005 (TD et TP)


Langages et Génie Logiciel (S. Conchon) IUP MIAGE
Langages de programmation évolués (F. Voisin) IFIPS 5
Approche fonctionnelle de la programmation (Ch. Paulin et M.-Ch. Rousset) IUP MIAGE
logo univ-psud

logo univ-psud

À l'université d'Évry (TD/TP)


Mise à niveau UNIX (cours et TP)
IUP MIAGE et ASR 2004
Programmation fonctionnelle (J.-L. Giavitto) MIAS 1.2 2003
Programmation fonctionnelle (S. Cerrito) SDM/MIAS 1.1 2002
2003
Compilation (B. Lorho) Licence Informatique 2002
Projet programmation (appariement de séquences ADN)
Maîtrise IUP Bio-info 2001
Programmation impérative (projet) SDM 2001
Projet programmation objet
Licence IUP Bio-info 2001
Programmation fonctionnelle
SDV 2000
Programmation fonctionnelle (P. Le Gall) IUP Génie Matériaux 2000
logo univ-evry