Teaching / Enseignements

2024-2025: Professeur à l'Université d'Orléans

Cursus	Enseignement
M2 Informatique	Sécurité des applications (cours et TD)
M1 Informatique	Web APIs (cours et TD)
L3 Informatique	Frameworks web 1 & 2 (cours et TP)
L2 Informatique	Programmation fonctionnelle (cours)

2023-2024: Professeur à l'Université d'Orléans (195h ETD)

Cursus	Enseignement
M2 Informatique	Sécurité des applications (cours et TD)
L3 Informatique	Frameworks web (cours et TP)
L2 Informatique	Programmation fonctionnelle (cours, TD, TP)

2022-2023: Professeur à l'Université d'Orléans (1/2 CPP, 115,80h ETD)

Cursus	Enseignement
M1 Informatique	Développement multiplateforme (cours et TD)
L3 Informatique	Frameworks web (cours et TP)
L2 Informatique	Programmation fonctionnelle (cours)

2021-2022: Professeur à l'Université d'Orléans (265h ETD)

Cursus	Enseignement
M2 Informatique	Séminaire d'initiation à la recherche
M1 Informatique	Compilation (cours et TP)
M1 Informatique	Développement multiplateforme (cours et TD)
L3 Informatique	Frameworks web et projet (cours et TP)
L2 Informatique	Programmation fonctionnelle (cours, TD et TP)

2020-2021: Professeur à l'Université d'Orléans (200h ETD dont 46ETD HC)

Cursus	Enseignement
M2 Informatique	Séminaire d'initiation à la recherche
M1 Informatique	Compilation (cours et TP)
L3 Informatique	Frameworks Web et Projet (TP)
L2 Informatique	Programmation fonctionnelle (TD et TP)

2019-2020: Professor, Northern Arizona University

Term	Class
Fall 2019	CS 451/551 Mechanized Reasoning about Programs
Spring 2020	CS 396 Principles of Programming Languages
Spring 2020	CS 481 Compilers

2018-2019: Professor, Northern Arizona University

Term	Class
Spring 2019	CS 396 Principles of Programming Languages
Spring 2019	CS 451/551 Mechanized Reasoning about Programs

2017-2018: Professor, Northern Arizona University

Term	Class
Fall 2017	CS 499/599 Mechanized Reasoning about Programs
Spring 2018	CS 396 Principles of Programming Languages

2016-2017: Professor, Northern Arizona University

Term	Class
Fall 2016	CS 499 Mechanized Reasoning about Programs
Spring 2017	CS 396 Principles of Programming Languages

2015-2016: Professeur à l'Université d'Orléans (222h ETD)

Cursus	Enseignement
M1 Miage	Types abstraits de données (cours et TD)
M1 Informatique	Développement d'applications nomades (cours et TD)
M2 Miage	Infrastructures de production (cours et TD)
M2 Informatique	Sécurité des applications nomades (cours et TD)
M1 Miage	Système et répartition
M1 Informatique	Compilation (cours et TD)
M2 Informatique	Programmation multi-coeurs (cours)

2014-2015: En délégation Inria, équipe pi.r2

2013-2014: Professeur à l'Université d'Orléans (210h ETD)

Cursus	Enseignement
L1 Informatique	Modélisation (cours-TD)
L1 Informatique	Projet
M2 mention Informatique	Initiation à la recherche (séminaire)
M1 mention Informatique	Compilation (cours)
M2 spécialité CCI	Systèmes (cours, TD et TP)
M2 spécialité CCI	Programmation 2 (TP)

2012-2013: Professeur à l'Université d'Orléans (199h ETD)

Cursus	Enseignement
L1 Informatique	Modélisation (cours-TD)
L1 Informatique	Algorithmique et programmation 2 (cours-TD)
L3 Mathématiques	Projet (encadrement)
M2 mention Informatique	Initiation à la recherche (encadrement)
M2 mention Informatique	Préparation au stage recherche (cours)
M2 spécialité CCI	Systèmes (cours)
M2 spécialité CCI	Programmation 2 (TP)

2011-2012: Professeur à l'Université d'Orléans (210h ETD)

Cursus	Enseignement
L1 Informatique	Modélisation
L1 Informatique	Algorithmique et programmation 2
M1 Informatique	Travaux d'études et de recherche (TER)
M2 spécialité CCI	Programmation 2
M2 spécialité CCI	Génie logiciel
M2 Informatique spécialité IRAD et M2 MIAGE	Web Services et Interopérabilité

2010-2011: Professeur à l'Université d'Orléans (1/2 CRCT, 96h ETD)

Cursus	Enseignement
L1 Informatique	Modélisation
M2 spécialité CCI	Programmation 2
M1 Informatique	Travaux d'étude et de recherche
M2 Informatique spécialité IRAD et M2 MIAGE	Web Services et Interopérabilité

2009-2010: Professeur à l'Université d'Orléans (229h ETD)

Cursus	Enseignement
L1 Informatique	Algorithmique et programmation 1
L1 Informatique	Modélisation
L2 Informatique	Programmation fonctionnelle
L3 Mathématiques	Programmation objets
M1 Informatique	Calcul intensif
M2 Informatique spécialité IRAD	Initiation à la recherche
M2 Informatique spécialité IRAD	Programmation multi-coeurs
M2 Informatique spécialité IRAD et M2 MIAGE	Web Services et Interopérabilité

2008-2009: Professeur à l'Université d'Orléans (214h ETD)

Cursus	Enseignement
L1 Informatique	Modélisation
L2 Informatique	Programmation fonctionnelle
M1 IRAD	Calcul intensif
M1 IRAD	Logiques et leurs applications
M1 IRAD	Travaux d'Etudes et de Recherches (TER)
M2 CCI	Initiation
M2 IRAD	Programmation multi-coeurs
M2 IRAD et M2 MIAGE	Web Services et Interopérabilité

2007-2008: Professeur à l'Université d'Orléans (236h30 ETD)

Cursus	Enseignement
L2 STIC	Algo 3 (Programmation fonctionnelle, algorithmique)
M1 STIC	Parallélisme
ENSIB 2A STI	Parallélisme
M2 STIC - IRAD	Modélisation et vérification
M2 STIC - SSI (Créteil)	Programmation et sûreté des systèmes répartis
M2 STIC - IPVGCA	Algorithmique, Performance et Parallélisme

2006-2007: Professeur à l'Université d'Orléans (225h30 ETD)

Cursus	Enseignement
L2 STIC	Algo 3 (Programmation fonctionnelle, algorithmique)
M1 STIC	Parallélisme
M1 STIC	Initiation à la recherche
M1 MIAGE	Méthodes avancées de conception
M2 STIC - CCI	Initiation à l'informatique
M2 STIC - CCI	Programmation 1
M2 STIC - IPVGCA	Algorithmique, Performance et Parallélisme
M2 STIC - IRAD	Modélisation
M2 STIC - SSI (Créteil)	Programmation et sûreté des systèmes répartis

2005-2006: Professeur à l'Université d'Orléans (241h35 ETD)

Cursus	Enseignement
L1 STIC	Outils logiciels
L2 STIC	Programmation fonctionnelle - Algorithmique
M1 STIC	Compilation
M1 STIC	Parallélisme
M1 MIAGE	Méthodes avancées de conception
M2 STIC - CCI	Programmation en C
M2 STIC - CCI	Programmation approfondie
M2 STIC - IPVGCA	Parallélisme et Réalité Virtuelle
M2 STIC - IPVGCA (Bourges)	Parallélisme
M2 STIC - SSI (Créteil)	Programmation et sûreté des systèmes répartis

2004-2005: Maître de Conférences à l'Université de Paris 12 (222h ETD)

Cursus	Enseignement
DEA d'Orléans	Module PRV - Programmation fonctionnelle et data-parallèle
Maîtrise de Droit	Bureautique Niveau 3
Licence de Droit	Bureautique Niveau 2

2003-2004: Maître de Conférences à l'Université de Paris 12 (222h ETD)

Cursus	Enseignement
DEA d'Orléans	Sémantique et Parallélisme - Programmation fonctionnelle et data-parallèle
Maîtrise de Droit	Bureautique Niveau 3
Licence de Droit	Bureautique Niveau 2

2002-2003: Maître de Conférences à l'Université de Paris 12 (282h30 ETD)

Cursus	Enseignement
DEA d'Orléans	Sémantique et Parallélisme - Programmation fonctionnelle et data-parallèle
Licence de Droit	Bureautique Niveau 2
Maîtrise de Droit	Bureautique Niveau 3
Maîtrise d'informatique	Algorithmes et programmation parallèles

2001-2002: Maître de Conférences à l'Université de Paris 12 (574h ETD)

Cursus	Enseignement
Licence de Droit	Bureautique Niveau 2
Maîtrise de Droit	Bureautique Niveau 3
Maîtrise d'informatique	Architectures et algorithmes parallèles
Maîtrise d'informatique	Langages pour la programmation parallèle
IUP MIAGE	Génie logiciel
IUP MIAGE	Algorithmique

2000-2001: Maître de Conférences à l'Université de Paris 12 (650h30 ETD)

Cursus	Enseignement
Licence de Droit	Bureautique Niveau 2
Maîtrise de Droit	Bureautique Niveau 3
IUP MIAGE	Algorithmique
IUP MIAGE	ADA
IUP MIAGE	Génie logiciel
Maths Spé MP	Colles d'informatique

1999-2000: Attaché d'Enseignement et de Recherche à l'Université d'Orléans (192h ETD)

Cursus	Enseignement	Volume
MSG2	TD d'Access	24 h 00
DESS-CI	Programmation I (TD/TP)	52 h 30
IUP Collectivités Territoriales	Cours-TD Introduction aux Bases de Données	80 h 00
Licence d'Informatique	TD Analyse des algorithmes	15 h 00

1998-1999: Vacataire à l'Université d'Orléans (89h ETD)

Cursus	Enseignement	Volume
MSG2	TD d'Access	24 h
IUP Collectivités Territoriales	Cours-TD Introduction aux Bases de Données	50 h
Licence d'Informatique	TD Analyse des algorithmes	15 h

1997-1998: Vacataire à l'Université d'Orléans (96h ETD)

Cursus	Enseignement	Volume
DEUG Cursus 1 MIAS I1	TD Algorithmique et Pascal	46 h
IUP Collectivités Territoriales	Cours-TD Introduction aux Bases de Données	50 h

1996-1997: Vacataire à l'Université d'Orléans (94h ETD)

Cursus	Enseignement	Volume
DEUG Cursus 1 MIAS I1	TD Algorithmique et Pascal	28 h
DEUG Cursus 1 MIAS I4	TD Algorithmique et Caml	22 h
DEUG AES 2° année	TD Word et Excel	44 h

1995-1996: Vacataire à l'Université d'Orléans (64h ETD)

Cursus	Enseignement	Volume
DEUG Cursus 2 SV	TD Algorithmique et Pascal	20 h
Licence d'histoire	TD Works	44 h