Teaching
2024 - 2025
Formal Methods (M2 Computer Science)
ESIEE, Marne-la-Vallée, France.
B-Method (25 hours).
Formal Methods (M2 MIAGE)
Université Paris-Dauphine, Paris, France.
B-Method (25 hours).
Professional Techniques - Environment and Applications (M2 Computer Science)
Université Paris VI, Paris, France.
B-Method (25 hours).
2023 - 2024
Formal Methods (M2 Computer Science)
ESIEE, Marne-la-Vallée, France.
B-Method (40 hours).
Formal Methods (M2 MIAGE)
Université Paris-Dauphine, Paris, France.
B-Method (25 hours).
Professional Techniques - Environment and Applications (M2 Computer Science)
Université Paris VI, Paris, France.
B-Method (25 hours).
2022 - 2023
Formal Methods (M2 Computer Science)
ESIEE, Marne-la-Vallée, France.
B-Method (40 hours).
Proof Software (M2 Safe Softwares)
Université Paris-Est, Créteil, France.
B-Method (32 hours).
Professional Techniques - Environment and Applications (M2 Computer Science)
Université Paris VI, Paris, France.
B-Method (25 hours).
2021 - 2022
Proof Software (M2 Safe Softwares)
Université Paris-Est, Créteil, France.
B-Method (32 hours).
2014 - 2015
Algorithmic and Applications (L2 Computer Science)
Université Paris-Dauphine, Paris, France.
Algorithms analysis, validity, complexity, Labs in Java (32 hours).
Algorithmic and Python Programming (L1 Computer Science)
Université Paris-Dauphine, Paris, France.
Algorithms analysis, validity, complexity, Labs in Python (22 hours).
Operational Research (L1 Computer Science)
Université Paris-Dauphine, Paris, France.
Labs (24 hours).
PHP Programming (L1 Computer Science)
Université Paris-Dauphine, Paris, France.
Labs (15 hours).
2013 - 2014
Scientific Management and Decision Aiding (L3 Management)
Université Paris-Dauphine, Paris, France.
Graph problems, linear programming, decision theory, multi-objective decision aiding (36 hours).
Logistic and Production Management (L3 Management)
Université Paris-Dauphine, Paris, France.
Graph problems, scheduling, stock management (36 hours).
Java Programming (L2 Computer Science)
Université Paris-Dauphine, Paris, France.
Labs in Java (17 hours).
2012 - 2013
Java Programming (L2 Computer Science)
Université Paris-Dauphine, Paris, France.
Labs in Java (13 hours).
Databases (L1 Computer Science)
Université Paris-Dauphine, Paris, France.
Labs (12 hours).
HTML Programming (L1 Computer Science)
Université Paris-Dauphine, Paris, France.
Labs (15 hours).
2011 - 2012
Logistic and Production Management (L3 Management)
Université Paris-Dauphine, Paris, France.
Graph problems, scheduling, stock management (39 hours).
Java Programming (L1 Computer Science)
Université Paris-Dauphine, Paris, France.
Exercises and labs in Java (19.5 hours).
Algorithmic (L1 Computer Science)
Université Paris-Dauphine, Paris, France.
Algorithms, complexity, sorting (19.5 hours).
2010 - 2011
Scientific Management and Decision Aiding (L3 Management)
Université Paris-Dauphine, Paris, France.
Graph problems, linear programming, decision theory, multi-objective decision aiding (39 hours).
Logistic and Production Management (L3 Management)
Université Paris-Dauphine, Paris, France.
Graph problems, scheduling, stock management (39 hours).