Qualification académique


2013

Habilitation à diriger des recherches en Sciences Informatique à l'Université Paris 13.

Titre : Hybrid Techniques For The Verification Of Complex Systems: Abstraction and Composition-Based Approach

Soutenance : 9 Décembre 2013.

Jury :

    Susanne Graf (DR CNRS, Verimag)

    Boualem Benatallah (Professeur à CSE, UNSW, Sydney)

    Olivier H. Roux (Professeur à Ecole Centrale de Nantes)

    Jörg Desel (Professeur à FernUniversität in Hagen)

    Serge Haddad (Professeur au LSV, ENS Cachan)

    Christophe Fouqueré (Professeur au LIPN, Université Paris 13)

    Laure Petrucci (Professeur au LIPN, Université Paris 13)

    François Vernadat (Professeur au LAAS, INSA de Toulouse)

2003

Docteur de l'Université Pierre et Marie Curie Paris VI spécialité informatique.

Titre de la thèse "Réseaux de Petri : Vérification symbolique et modulaire'',

Soutenance : 1er Décembre 2003.

Jury :

    Laure Petrucci (Professeur à l'University Paris 13)

    François Vernadat (HDR au LAAS)

    Kamel Barkaoui (Professeur au CNAM Paris)

    Fabrice Kordon (président) (Professeur à l'University Paris 6)

    Serge Haddad (Professeur à l'University Paris 9)

    Jean-Michel Ilié (Maître de Conférences à l'University Paris 5)

1998

DEA : Systèmes informatiques à l'Université Pierre et Marie Curie, Paris 6.

1997

Diplôme d'ingénieur en informatique, Faculté des Sciences de Tunis.

1993

Diplôme universitaire d'études scientifiques (DEUG) en Math Physiques,

Faculté des Sciences de Tunis.