Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
Leads the Lifeware project team; has extensive research in computational systems biology and synthetic biology; developed the BIOCHAM software.
Research Experience
Since 2002, coordinating the development of the biochemical abstract machine (BIOCHAM) modeling and analysis software based on formal methods ranging from graph theory to model-checking and symbolic computation. Using this software to address challenging biological questions in cell signaling, cell cycle control, and circadian clock, as well as synthetic biochemical circuit design. Also, maintaining a research activity in constraint logic programming for declarative modeling and solving combinatorial or continuous optimization problems.
Background
Research interests: logic and computation, design of high-level modeling/programming languages. Current research focuses on computational systems biology and synthetic biology, viewing cells as machines and chemical reaction systems as programs, and developing analysis and design tools for chemical reaction networks.
Miscellany
Professional webpage at Inria, part-time professor at Ecole Polytechnique.