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.

• For my PhD thesis I worked, under the supervsion of Anca Muscholl and Hugo Gimbert, on games with partial information (thesis).
• I'm also interested in stochastic models such as labeled Markov chains and Markovian decision process.

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

Publications

• [6] Probabilistic Robust Timed Games, co-authored with Pierre-Alain Reynier, Ocan Sankur. Accepted for CONCUR'14.
• [5] Two Recursively Inseparable Problems for Probabilistic Automata, co-authored with Nathanaël Fijalkow, Hugo Gimbert, Florian Horn. Accepted for MFCS'14.
• [4] Perfect-Information Stochastic Mean-Payoff Parity Games, co-authored with co-authored with Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert. Accepted for FOSSACS'14.
• [3] Deciding the Value 1 Problem for #-acyclic Partially Observable Markov Decision Processes, co-authored with Hugo Gimbert. Accepted for SOFSEM'14.
• [2] A Class of Probabilistic Automata with a Decidable Value 1 Problem, co-authored with Nathanaël Fijalkow and Hugo Gimbert. Accepted for LICS'12.
• [1] Probabilistic Automata on Finite Words: Decidable and Undecidable Problems, co-authored with Hugo Gimbert. Accepted for ICALP'10.

Preprints

• [3] acyclic Partially Observable Markov Decision Processes, co-authored with Hugo Gimbert.
• [2] Stochastic Mean-payoff Parity Games, co-authored with Krishnendu, Laurent Doyen, and Hugo Gimbert.
• [1] Computing Optimal Strategies for Markov Decision Processes with Parity and Positive-Average Conditions, co-authored with Hugo Gimbert and Soumya Paul.

Talks

• Probabilistic Automata: Decidable and Undecidable Problems, Games 2009 Udine Italy.
• Class of Probabilistic Automata for which the Value-One Problem is Decidable, Games 2010 Oxford, UK.
• Stochastic Parity and Positive-average Games, GDR IM — GT Jeux: Annual Meeting, LIAFA Paris.

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 Mons		Université de Mons
Building Le Pentagone
Avenue du champ de mars, 6		Place du Parc, 20
7000 Mons		7000 MONS
Belgium		Belgium