UMONS > Faculté des sciences >Institut d'Informatique >Youssouf Oualhadj

Changer de langue: Fr|En

     Youssouf Oualhadj


Since November 2013 I hold a position as a postdoc in the computer science institute of Mons university (UMons). I am part of the theoretical computer science team led by Véronique Bruyère.

From Octobre 2012 to September 2013, I held a position as a postdoc in the team MoVe ( LIF ) within the project ECSPER at Aix Marseille University.

For my PhD thesis I worked, under the supervsion of Anca Muscholl and Hugo Gimbert, on stocastic games and the value problem.


I'm interested in algorithmic game theory and it's application to verification and synthesis.

Keywords: automata, logic, games, stochastic process, probability theory, verification of real timed systems.





Introduction à la programmation objet (2012-2013)

Modèles de calcul M1(2011-2012)

  • TD1, corrections.
  • TD2, corrections.
  • TD3.
  • TD4.
  • DS, corrections.
  • Modèles de calcul M1(2010-2011)

  • TD1.
  • TD2.
  • TD3
  • TD4.
  • TD5.
  • CC-1.
  • CC-2.
  • CC-3.
  • Analyse Syntaxique (2010-2011)

  • TP5: exo1.l, exo1.y.
  • TP5: exo2.l, exo2.y.
  • TP5: exo3.l, exo3.y.
  • TP5: exo4.l, exo4.y.
  • TP6: exo3.l, exo3.y.
  • Address

    Youssouf Oualhadj

    Email: youssouf.oualhadj replaceBy@
    Tel: +
    Fax: +

    Localization           Postal address
    Institut d'Informatique Institut d'Informatique
    Université de MonsUniversité de Mons
    Building Le Pentagone
    Avenue du champ de mars, 6Place du Parc, 20
    7000 Mons7000 MONS