Résumé

Je suis maître de conférences habilité au département d'informatique de l'Université Paris-Est Créteil Val de Marne. Je fais partie de l'équipe spécification et vérification des systèmes du Laboratoire d'Algorithmique, Complexité et Logique (LACL).

Je suis actuellement le directeur adjoint du LACL.

Entre novembre 2013 et aout 2014 j'étais 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.

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.

News

• Avec Damien Busatto-Gaston, on a organisé les journées annuelles du GT-Vérif.
• Membre du PC à AAMAS'26.

Projets

• Projet ANR TAPAS
• Projet ANR ZADyG (coordinateur local).

Publications

• [21] Controller Synthesis in Timed Büchi Automata: Robustness and Punctual Guards co-écrit avec Benoît Barbot, Damien Busatto-Gaston, Catalin Dima. Accepté à Perform. Evaluation 168: 102483 2025
• [20] Promptness and Fairness in Muller LTL Formulas co-écrit avec Damien Busatto-Gaston, Youssouf Oualhadj, Léo Tible, Daniele Varacca. Accepté à FSTTCS'24
• [19] Deciding the Synthesis Problem for Hybrid Games Through Bisimulation co-écrit avec Catalin Dima, Mariem Hammami, Régine Laleau. Accepté à ICFEM'24
• [18] Controller Synthesis in Timed Büchi Automata: Robustness and Punctual Guards co-écrit avec Benoît Barbot, Damien Busatto-Gaston, Catalin Dima. Accepté à QEST+FORMATS'24
• [17] Synthesis of Resource-Aware Controllers Against Rational Agents co-écrit avec Rodica Condurache, Catalin Dima et Nicolas Troquard. Accepté à AAMAS'23
• [16] Arena-Independent Finite-Memory Determinacy in Stochastic Games, co-écrit avec Patricia Bouyer, Vandenhove Pierre, et Mickael Randour. Accepté à LMCS
• [15] Careful Autonomous Agents in Environments With Multiple Common Resources co-écrit avec Rodica Condurache, Catalin Dima, Madalina Jitaru et Nicolas Troquard. Accepté à AREA@IJCAI-ECAI 2022
• [14] Arena-Independent Finite-Memory Determinacy in Stochastic Games, co-écrit avec Patricia Bouyer, Vandenhove Pierre, et Mickael Randour. Accepté à CONCUR'20
• [13] Rational Synthesis in the Commons with Careless and Careful Agents co-écrit avec Rodica Condurache, Catalin Dima et Nicolas Troquard. Accepté à AAMAS'21
• [12] Life is Random, Time is Not: Markov Decision Processes with Window Objectives, co-écrit avec Thomas Brihaye, Florent Delgrange, et Mickael Randour apparaitra dans Logical Methods in Computer Science 16(4) pages 13:1-13:30, 2020
• [11] Games Where You Can Play Optimally with Arena-Independent Finite Memory, co-écrit avec Patricia Bouyer, Stéphane Leroux, Vandenhove Pierre, et Mickael Randour. Accepté à CONCUR'20
• [10] Life is Random, Time is Not: Markov Decision Processes with Window Objectives, co-écrit avec Thomas Brihaye, Florent Delgrange, et Mickael Randour. Accepté à CONCUR'19 (Best paper award)
• [9] The Complexity of Rational Synthesis for Concurrent Games, co-écrit avec Rodica Condurache et Nicolas Troquard. Accepté à CONCUR'18
• [8] Rational verification in Iterated Electric Boolean Games, co-écrit avec Nicolas Troquard. Accepté à SR'16
• [7] Deciding the value 1 problem for probabilistic leaktight automata, co-écrit avec Nathanaël Fijalkow, Hugo Gimbert et Edon Kelmendi. Accepté à LMCS, Volume 11, Issue 2
• [6] Probabilistic Robust Timed Games, co-écrit avec Pierre-Alain Reynier et Ocan Sankur. Accepté à CONCUR'14
• [5] Two Recursively Inseparable Problems for Probabilistic Automata, co-écrit avec Nathanaël Fijalkow, Florian Horn et Hugo Gimbert. Accepté à MFCS'14
• [4] Perfect-Information Stochastic Mean-Payoff Parity Games, co-écrit avec Krishnendu Chatterjee, Laurent Doyen et Hugo Gimbert. Accepté à FOSSACS'14
• [3] Deciding the Value 1 Problem for #-acyclic Partially Observable Markov Decision Processes, co-écrit avec Hugo Gimbert. Accepté à SOFSEM'14
• [2] A Class of Probabilistic Automata with a Decidable Value 1 Problem, co-écrit avec Nathanaël Fijalkow et Hugo Gimbert. Accepté à LICS'12
• [1] Probabilistic Automata on Finite Words: Decidable and Undecidable Problems, co-écrit avec Hugo Gimbert. Accepté à ICALP'10

Preprints

• [4] Le manuscrit de mon habilitation à diriger des recherches est disponible ici.
• [3] acyclic Partially Observable Markov Decision Processes, co-écrit avec Hugo Gimbert.
• [2] Stochastic Mean-payoff Parity Games, co-écrit avec Krishnendu, Laurent Doyen, et Hugo Gimbert.
• [1] Computing Optimal Strategies for Markov Decision Processes with Parity and Positive-Average Conditions, co-écrit avec Hugo Gimbert et Soumya Paul.

Enseignement

Je suis le responsable du M1 Logiciels Sûrs (FI) .

Enseignements classés par niveau de formation.

L1 – Portail MISIPC

• Initiation à l’algorithmique
• Programmation 1

L2 – Informatique

• Codage, compression et cryptographie
• Combinatoire et graphes
• Langages formels
• Mathématiques discrètes
• Programmation fonctionnelle
• Programmation orientée objet
• Projet de programmation

L3 – Informatique

• Conception orientée objet
• Culture des langages de programmation
• Grammaires algébriques
• Interprétation
• Projet de programmation objet
• Projet informatique S6
• Systèmes et outils

Master 1 – Informatique

• Complexité des problèmes
• Méthodes de modélisation et optimisation
• Méthodes formelles pour la vérification

Master 2 – Droit du numérique

• Fondements de l’informatique

Contact

Youssouf Oualhadj
Email: youssouf.oualhadj replaceBy@ lacl.fr
Bureau: P2 223
Tel: +33 (0) 1 45 17 14 75

Adresse
Youssouf Oualhadj
LACL, Département d'Informatique
Faculté des Sciences et Technologie
61 avenue du Général de Gaulle
94010 Créteil Cedex