Professional career
|
2021 - ...
|
Full professor in Computer Science
Sorbonne University, Lab. LIP6 |
|
2010 - 2021
|
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 |
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 |