> } } ?> > Lifeware Fages/Fran├žois Fages

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

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, inspired from 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 and cancer chronotherapeutics optimization.

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.