Teaching

Currently

Supports pédagogiques

Les supports de cours, TD et examens sont disponibles sur Cours en ligne.
Vous devez vous inscrire administrativement et activer dans le mois qui suit la rentrée votre compte étudiant pour y accéder.

activity \ year 22-23 23-24 24-25 25-26 26-27
teaching 284 198 192 196 193
administrative  34 37 8* 28 tbd
master supervision 20 60 30 40 tbd
total 338 295 230 264 >193
base teaching load 192 192 192 192 192
additional hours 146 103 38 72 >1
Overview of the last 5 years, in hours (eqTD).
*: in 2024-2025, part of the administrative duties achieved at the university were compensated via RIPEC C2 instead of additional hours.

2026-2027

M2M MIAGE / CTAQ
volume: 36
service: 45
18 x 1.5 + 18
Contrats, tests et assurance qualité
2nd year of master - Contracts, Tests, and Quality Assurance
Test theory and practice, Software quality, Formal Specification with Alloy and TLA+
lectures + practical work
M2A MIAGE / RD2
volume: 12
service: 15
6 x 1.5 + 6
Recherche et développement (M2)
2nd year or master - Research and Development / Experiments
Experimentation in (Software Engineering) Research, Mining (Software) Repositories
lectures + practical work
M1M MIAGE / RD1
volume: 12
service: 15
6 x 1.5 + 6
Recherche et développement (M1)
1st year or master - Research and Development / Rigorous Literature Analysis
Systematic Mapping Study, Systematic Literature Review, Rapid Literature Review
lectures + practical work
M1M MIAGE / PFP
volume: 24
service: 30
12 x 1.5 + 12
Programmation fonctionnelle et pipelines
1st year of master - Functional Programming and Pipelines
Functional programming, Applications in Java and Scala, Data analysis pipelines
lectures + practical work
M1M MIAGE / PRJ
volume: 24
service: 24
0 x 1.5 + 24
Projet
1st year of master - Project
Project, Project Management, Agility, DevOps
project
L3A MIAGE / CMO
volume: 32
service: 40
16 x 1.5 + 16
Conception et modélisation objet
3rd year of licence - Object-Oriented Design and Modelling
Software Architecture Quality, Code Smells, Design Patterns
lectures + practical work
L3M MIAGE / CMO
volume: 16
service: 24
16 x 1.5 + 0
Conception et modélisation objet
3rd year of licence - Object-Oriented Design and Modelling
Software Architecture Quality, Code Smells, Design Patterns
lectures

Before


Where? Previous teaching experience has been achieved at:

  • since 2012:
    UFR SEGMI, Université Paris Nanterre
     
  • 2001-2012:
    UFR SFA, Université d'Evry
     
  • 2000-2001:
    Département Informatique, IUT de Nantes
     
  • 1997-2000:
    UFR ST, Université de Nantes
     

Software engineering, modelling
Design Patterns, Software Testing, Code Quality, UML, MDE, DSL, Merise, Grafcet

Programming
Imperative (C), Functional (OCaml), Object-Oriented (Java), Web (PHP, PERL, JS), Distributed (CORBA, RMI, WSDL and RESTful Services)

Formal methods
Transition Systems, Process Algebras, Petri Nets

Databases
Principles, SQL

Computer architecture, operating systems, networking
Principles, Assembly Language, Unix, Network Setup, DevOps

Computer and Internet Certificate
Use of an office suite