Biographical sketchI was born in Maubeuge (France) on the 23th of February 1977. After secondary school, I attended a general scientific preparation (biology, earth science, mathematics, physics and chemistry) at Lycée Pierre de Fermat in Toulouse
Then, I had the opportunity to enter the Ecole Normale Supérieure de Lyon a 4-year research-oriented school. During the first two years, I studied molecular and cellular biology. In the meantime, I joined the European exchange program ERASMUS, and spent a semester at the Uppsala University (Sweden). During the last two years, I studied computer science partly in Lyon and partly at the Université Joseph Fourier in Grenoble.
I started my PhD in computer science in 2002, at the Institut National de Recherche en Informatique et en Automatique, in the Helix bioinformatics research group (now Ibis), then headed by Alain Viari. My PhD work consisted in developing a method for the efficient verification of the dynamical properties of qualitative models of large genetic regulatory networks. This methods combines notions and techniques from hybrid systems theory, qualitative reasoning and model checking, and extends a method for the qualitative simulation of genetic networks previously developed in the research group. This method has been implemented in a new version of the tool Genetic Network Analyzer, and applied to the validation of two models by checking the consistency between predictions and available experimental data. My adviser was Hidde de Jong.
As a postdoctoral researcher at Boston University, I have developed a method for the rational design of synthetic genetic networks using formal analysis of hybrid systems. The main goal of this project was to find sets of parameters for which the system is guaranteed to exhibit a specified behavior. This information can then be used by experimentalists to tune synthetic networks. This method has been implemented in the tool RoVerGeNe, and applied to the analysis of a synthetic transcriptional cascade. This work was done in collaboration with Calin Belta (Boston University) and Ron Weiss (then at Princeton University). More information is available here.
I also worked at Verimag in the research group of Oded Maler. As a postdoc, I developed techniques for the verification of timed properties of continuous dynamical systems. These techniques have been applied to gene network design, extending previous techniques and tools developed at Boston University.
Since 2007, I am a research scientist (full-time tenured position) at Institut National de Recherche en Informatique et Automatique (INRIA) in the Contraintes research group headed by François Fages. I was hired as CR2, and promoted CR1 in 2009.