Welcome to my professional web page at INRIA, where I lead the Lifeware project team (follow-up of the Contraintes project-team) in the Saclay research center (in Paris-Rocquencourt up to 2015).

I'm a senior research scientist (DR1) interested in logic and computation, and in the design of high-level modelling/programming languages.

Most of my current research is now in computational systems biology and synthetic biology, where I see

cells as machines,

biochemical reaction systems as programs,

and develop analysis and design tools for complex biochemical systems, rooted in theoretical computer science.

I coordinate the development of the biochemical abstract machine (BIOCHAM) modelling and analysis software. I use this software to tackle challenging biological questions in cell signalling, cancer chronotherapeutics optimization, and design of synthetic biology circuits.

Because of the importance of optimization and constraint-based methods in this work, I also keep a research activity in constraint logic programming for solving combinatorial and continuous optimization problems in other domains.