Since 10/2009
Chargé de recherche CNRS working successively at LIAFA, Paris (2009-2013 and
2014-2016), Laboratoire JV Poncelet, Moscow, Russia
(2013-2014), LIRMM, Montpellier (2016-2018) and LaBRI,
Bordeaux (2018-...).
02/2009-10/2009
von Humboldt postdoctoral fellow at the Institut für
Informatik, Ruprecht-Karl University of Heidelberg,
Germany. Advisor: Wolfgang Merkle.
04/2008-02/2009
Postdoctoral fellow in the School of Mathematics, Statistics
and Computer Science at Victoria University, Wellington, New
Zealand. Advisor: Rod Downey.
2005-04/2008
PhD in Computer Science at the LIF, Université de
Provence, Marseille, France. Advisors: Bruno Durand and
Alexander Shen.
Winner of
the Gilles Kahn thesis prize 2008.
2004-2005
Master of Science in Mathematics (program "Mathematical
Logic and Foundations of Computer Science") at the
University of Paris 7, France. Ranked 1st with "Mention
Très Bien".
2003-2004
"Agrégation"
in Mathematics (year-long preparation at the ENS
Lyon). National rank: 30th.
2002-2003
Maîtrise (4th year of university) in Computer Science,
as an exchange student at the University of Toronto,
Canada. "Mention Bien".
2001-2002
Licence (3rd year of university) in Computer Science, at the
Ecole
Normale Supérieure de Lyon (ENS Lyon) . "Mention
Bien".
1999-2001
Classes Préparatoires (two-year long program in
Mathematics, Physics and Computer Science), at the
Lycée Montaigne, Bordeaux.