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)


Disc PhD School 2011, Cagliari


Advanced Course in Petri Nets 2010, Rostock


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

Complexité (L3)

Algorithmique (Option informatique de l'agrégation de mathématiques en français)


Au MPRI

Probabilistic Aspects of Computer Science (M1 in english)

Systèmes temporisés probabilistes (M2 en français)


À l'Université Paris-Dauphine