Serge HaddadTeaching

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)

  1. Time(d) Petri Net (in English)
  2. Stochastic Petri Net (in English)

Disc PhD School 2011, Cagliari

Advanced Course in Petri Nets 2010, Rostock

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