Here you get my short CV.

  1. Professional career

    Sept. 10 - ...


    Associate professor (HDR - 2017) in Computer Science
    Université Pierre et Marie Curie (Paris 6), Lab. LIP6
    Sept. 09 - Août 10


    ATER in Computer Science (research ant teaching)
    Université de Versailles Saint-Quentin-en-Yvelines, Lab. PRiSM
    2006 - 2009






    Allocataire de recherche
    Université de Versailles Saint-Quentin-en-Yvelines, Lab. PRiSM

    Teaching in Computer Science
    ENSI de Poitiers and Université de Versailles Saint-Quentin-en-Yvelines
    2003 - 2006

    Teacher in Mathematics in high schools
  2. Education

    2017











    "Habilitation à Diriger des Recherches" in Computer Science
    UPMC - LIP6

    thesis entitled:
    Enumerative and Analytic Combinatorics for Propositional Logic and Concurrency Theory :
    Towards a quantification of the model expressiveness

    Defense took place on the 22. September 2017
    Jury:
    B. Bérard (president)
    M. Drmota, A. Durand and C. Martinez (reviewers)
    O. Bodini, A. Denise, J. Mairesse, C. Nicaud and M. Soria.
    2006 - 2009








    Ph. D. in Computer Science
    Université de Versailles Saint-Quentin-en-Yvelines, Lab. PRiSM

    thesis entitled:
    Random Boolean Expressions -
    Probability, Complexity and
    Quantitative comparison of propositional logics.

    supervisors: H. Fournier and D. Gardy.
    2006


    Master's degree in Mathematics and Computer Science
    Université de Versailles Saint-Quentin-en-Yvelines
    2003




    Maîtrise in Mathématics
    Université de Haute Alsace

    CAPES de Mathématiques: competition for secondary education