LIFEWARE

The project Lifeware aims at developing formal methods 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 chemical reaction networks, population dynamics, analog computation with chemistry, static analyses of molecular interaction networks in graph theory, dynamical analyses in quantitative 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 notably rely on original rapid prototyping techniques using constraint logic programming.