Computational systems biology and optimization
Computational systems biology and optimization

The project Lifeware aims at developing formal methods and experimental settings for understanding the cell machinery and establishing computational paradigms in cell biology. It is based on the vision of cells as machines, biochemical reaction networks as programs, and on the development of concepts and tools from computer science to master the complexity of cell processes. This project addresses fundamental research issues on analog computation with chemistry, statis analyses of molecular interaction networks in graph theory, dynamical analyses in quantiative temporal logic, and the interplay between structure and dynamics in such networks.  In collaboration with biologists, including pharma industry, we investigate concrete biological and biomedical questions, and develop models and computational methods to answer them. Our software developments rely on original rapid prototyping techniques using constraint logic programming.

Centre(s) inria


Team leader

Natalia Alves

Team assistant