Internship/PHD proposals

Internship proposals

• Calcul de plus courts chemins dans des graphes pondérés paramétrés
  Advisor: Pierre-Alain Reynier and Benjamin Monmege
  Degree: Licence or Master
  Description: PDF

• Robustness of Continuous Petri Nets
  Advisor: Pierre-Alain Reynier
  Degree: Licence or Master
  Description: PDF

• Découvrir les preuves mathématiques assistées par ordinateur avec Lean
  Advisor: Benjamin Monmege
  Degree: Licence 1
  Description: PDF

PHD proposals