Enseignements / Teaching

2018-2019: Professor, Northern Arizona University

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

2017-2018: Professor, Northern Arizona University

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

2016-2017: Professor, Northern Arizona University

TermClass
Fall 2016 CS 499 Mechanized Reasoning about Programs: Louie, class page
Spring 2017 CS 396 Principles of Programming Languages

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

CursusEnseignement
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)

CursusEnseignement
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)

CursusEnseignement
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)

CursusEnseignement
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)

CursusEnseignement
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)

CursusEnseignement
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)

CursusEnseignement
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