Changer de langue: Fr|En

Summary

I am a senior lecturer 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.

Research

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.

News

Publications

Preprints

Teaching

In french only!

Contact

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

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