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).

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