Changer de langue: Fr|En


I am assistant professor in the computer science departement of Université Paris-Est Créteil Val de Marne.
I am member of the Specification and Verification of Systems team in the Logic, Algorithms, and Complexity Laboratory (LACL).
Together with Florent Madeleine, we organise the LACL seminar, contact us here if you want to give a talk!

From November 2013 to August 2014 I held a position as a postdoc in the computer science institute of Mons university (UMons) in 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 stochastic games.


I'm interested in algorithmic game theory and its application to verification and synthesis.

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





In french only!


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

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