Change language: Fr|En

Résumé

Je suis maître de conférences 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).
Avec Pascal Vanier, on organise le séminaire du LACL, contactez nous ici pour venir faire un séminaire chez nous!

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.

Publications

Preprints

Enseignement

Je suis responsable des cours suivants :

J'interviens aussi dans le cours de conception et programmation objets (L3).

Les supports et informations concernant les cours sont disponibles sur EPREL.

Contact

Youssouf Oualhadj
Email: youssouf.oualhadj replaceBy@ lacl.fr
Bureau: P2 218
Tel: +33 (0)1 45 17 16 35

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