Résumé
Je suis postdoctorant dans le service d'informatique théorique (Véronique Bruyère) à l'Institut d'Informatique de la Faculté des Sciences de l'Université de Mons (UMons).
Entre octobre 2012 et septembre 2013 j'étais postdoctorant dans l'équipe MoVe du LIF projet ECSPER à l'université Aix Marseille.
J'ai fait ma thèse sous la direction Anca Muscholl et Hugo Gimbert sur les jeux stochastiques et le problème de la valeur.
Recherche
Le thème principal de mes recherches est la théorie des jeux algorithmique et ses applications à la vérification et la synthèse de contrôleurs, CV court.
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.
Enseignement
Introduction à la programmation objet (2012-2013)
Modèles de calcul M1 (2011-2012)
Modèles de calcul M1 (2010-2011)
Analyse Syntaxique (2010-2011)
Adresse
Youssouf Oualhadj
Email: youssouf.oualhadj replaceBy@ umons.ac.be
Tel: +32.65.37.34.49
Fax: +32.65.37.34.59
Localisation | Adresse postale | |
Institut d'Informatique | Institut d'Informatique | |
Université de Mons | Université de Mons | |
Batiment Le Pentagone | ||
Avenue du champ de mars, 6 | Place du Parc, 20 | |
7000 Mons | 7000 MONS | |
Belgique | Belgique |