Teaching
Présentation à l'union des professeurs de classes préparatoires scientifiques
Petri Net Course
Genève (2024), Lisbonne (2023), Aachen (2019), Bratislava (2018), Zaragoza (2017), Torun (2016), Bruxelles (2015), Milano (2013), Hamburg (2012)
- Time(d) Petri Net (in english)
- Stochastic Petri Net (in english)
Disc PhD School 2011, Cagliari
- Time and Timed Petri Nets (in english)
- Timed Automata and Time(d) Petri Nets (in english)
Advanced Course in Petri Nets 2010, Rostock
- From Stochastic Processes to Stochastic Petri Nets (in english)
- Alternative Analysis Methods for Stochastic Petri Nets (in english)
À l'ENS Paris-Saclay
Algorithmique 1 (L3 et/ou M2 FESUP en français)
- Correction (terminaison, correction partielle)
- Complexité (équations de récurrence, complexité amortie, complexité en moyenne, bornes inférieures de complexité)
- Paradigmes (diviser pour régner, programmation dynamique, algorithmes gloutons)
- Structure de données (dictionnaires, files de priorité, ensembles disjoints)
- Ouverture (géométrie dans le plan)
- Tris (tris par comparaison, borne inférieure de complexité, tris sans comparaison, applications)
- Compléments sur les tableaux (recherche de kième valeur, valeur majoritaire, fusion sur place)
- Examen 17-18
Calculabilité (L3 en français)
Logique et introduction à la complexité (L3 en français)
Algorithmique 2 (L3 et/ou M2 FESUP en français)
- Support de cours
- Partiel 17-18
- Algorithmique du texte (transparents)
- Polynômes et séries (transparents)
- Compression de données (transparents)
- Approximation (transparents)
- Algorithmes probabilistes (transparents)
- Apprentissage (transparents)
- Programmation linéaire (transparents)
Complexité (L3)
- support de cours (en français)
- slides (in english)
Algorithmique (Option informatique de l'agrégation de mathématiques en français)
Au MPRI
Probabilistic Aspects of Computer Science (M1 in english)
- Markovian Models (lecture notes)
- DTMC (slides)
- MDP (slides)
- SG (slides)
- PA (slides)
- Homework (1) 13-14
- Homework (2) 13-14
- Distributed Algorithms and Random Graphs (lecture notes)
Systèmes temporisés probabilistes (M2 en français)
À l'Université Paris-Dauphine
- Algorithmique (L1 en français)
- Algorithmique répartie (M1,M2 en français)