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

Changer de langue: Fr|En

     Youssouf Oualhadj


Summary

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.

Research

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.

Publications

Preprints

Talks

Teaching

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@ umons.ac.be
    Tel: +32.65.37.34.49
    Fax: +32.65.37.34.59

    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
    BelgiumBelgium