- Une vision et des portes en chemin...
My current research aims at developing computational methods for understanding the cell machinery and establishing formal paradigms in cell biology. It is based on the vision of cells as computation, and on the use of concepts and tools from theoretical computer science to master the complexity of cell processes. While for the biologist, as well as for the mathematician, the sizes of the biological networks and the number of elementary interactions constitute a complexity barrier, for the computer scientist the difficulty is not that much in the size of the networks than in the unconventional nature of biochemical computation. Unlike most programs, biochemical computation involves transitions that are stochastic rather than deterministic, continuous-time rather than discrete- time, poorly localized in compartments instead of well-structured in modules, and created by evolution instead of by rational design.
Logical paradigm for systems biology
My first idea in 2002 was to design a dedicated rule-based language to model biochemical reaction systems and analyze their Boolean dynamics using symbolic model-checking tools developed for circuit and program analysis. I generalized this approach to quantitative models with the following logical paradigm for systems biology:
biological system = state transition system
biological property = temporal logic formula
model validation = model-checking, robustness
model inference = temporal logic constraint solving
In order to efficiently deal with parameter inference problems and robustness measures, we have generalized model-checking to temporal logic constraint solving, by considering temporal logic formulae with free variables over some domain D, and by computing a validity domain for the variables rather than a truth value for the formula. When D is a metric space, this allows us to define a continuous degree of satisfaction for a temporal logic formula in a given Kripke structure, opening up the field of model-checking to optimization. This has been implemented in BIOCHAM, and used in various contexts to infer unknown kinetic parameter values from temporal logic properties in high dimensional systems (up to 100 parameters), and decipher complex biochemical processes.
François Fages, Steven Gay, Sylvain Soliman. Inferring Reaction Systems from Ordinary Differential Equations. Theoretical Computer Science, 599:64–78, 2015. [ preprint ]
Pauline Traynard, François Fages, Sylvain Soliman. Trace Simplifications preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock (best student paper award). In CMSB'14: Proceedings of the twelth international conference on Computational Methods in Systems Biology, pages 114–128, Lecture Notes in BioInformatics. Springer-Verlag, 2014. [ preprint ] [ slides ]
François Fages, Pauline Traynard. Temporal Logic Modeling of Dynamical Behaviors: First-Order Patterns and Solvers. In Logical Modeling of Biological Systems, pages 291–323. John Wiley Sons, Inc., 2014. [ preprint ]
Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman. Continuous Valuations of Temporal Logic Specifications with applications to Parameter Optimization and Robustness Measures. Theoretical Computer Science, 412(26):2827–2839, 2011. [ preprint ]
Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman. A general computational method for robustness analysis with applications to synthetic gene networks. Bioinformatics, 12(25):il69–il78, 2009.
François Fages, Aurélien Rizk. From Model-Checking to Temporal Logic Constraint Solving. In Proceedings of CP'2009, 15th International Conference on Principles and Practice of Constraint Programming, pages 319–334, Lecture Notes in Computer Science. Springer-Verlag, 2009. [ preprint ]
François Fages, Aurélien Rizk. On Temporal Logic Constraint Solving for the Analysis of Numerical Data Time series. Theoretical Computer Science, 408(1):55–65, 2008. [ preprint ]
Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman. Machine learning biochemical networks from temporal logic properties. In Transactions on Computational Systems Biology VI, pages 68–94, volume 4220 of Lecture Notes in BioInformatics. Springer-Verlag, 2006. [ preprint ]
Nathalie Chabrier, François Fages. Symbolic model checking of biochemical networks. In CMSB'03: Proceedings of the first workshop on Computational Methods in Systems Biology, pages 149–162, volume 2602 of Lecture Notes in Computer Science. Springer-Verlag, 2003. [ preprint ]
In collaboration with Eric Reiter (CNRS-INRA) and Frédérique Clément (SISYPHE team) and with Robert Lefkowitz (Duke University), recipient of the Nobel prize in Chemistry 2012 for his work on G-Protein Coupled Receptors (GPCR), we have combined experimental approaches with computational modeling in BIOCHAM to decipher the molecular mechanisms as well as the unexplained complex dynamics governing GPCR signaling. This signal balancing mechanism is found to be relevant to a wide range of important drug targets composed of other seven-transmembrane receptors.
- An ODE-based dynamical model of ERK activation by the prototypical angiotensin II type-1A seven transmembrane receptor has been built and validated using BIOCHAM
- In order to deal with a limited number of experimental read-outs, unknown parameters have been inferred by simultaneously fitting control and perturbed conditions expressed in temporal logic LTL(R lin ) in BIOCHAM using the covariance method adaptive evolution strategy (CMAES) for continuous optimization (EPI TAO)
- In addition to its well-established function in G-protein uncoupling, G protein-coupled receptor kinase 2 has been shown to exert a strong negative effect on β-arrestin-dependent signaling and by doing so, to balance G-protein and β-arrestin signaling. The failure to fit some temporal constraints was the key to infer the existence of these interactions from the computational model.
Domitille Heitzler, Guillaume Durand, Nathalie Gallay, Aurélien Rizk, Seungkirl Ahn, Jihee Kim, Jonathan D. Violin, Laurence Dupuy and Christophe Gauthier, Vincent Piketty, Pascale Crépieux, Anne Poupon, Frédérique Clément, François Fages, Robert J. Lefkowitz, Eric Reiter. Competing G protein-coupled receptor kinases balance G protein and β-arrestin signaling. Molecular Systems Biology, 8(590), 2012.
Cell cycle regulation and cancer chronotherapeutics
Recent advances in cancer chronotherapy techniques support the evidence that there exist important links between the cell cycle regulation and the circadian clock genes. One purpose for modeling these links is to better understand how to efficiently target malignant cells depending on the phase of the day and patient characteristics. This is at the heart of our collaboration with Francis Lévi, CNRS-INSERM, Hopital Paul Brousse, Villejuif, and previous participation to two european projects on this theme. Currently, we investigate the effect of transcription inhibition during mitosis, as a reverse coupling from the cell cycle to the circadian clock. We use temporal logic constraints and the parallel version of BIOCHAM for parameter search, running on the Jade cluster of 10000 processors at the GENCI CINES, to couple dynamical models in high dimension and fit models to experimental data time series obtained in Franck Delaunay's lab in Nice, CNRS.
Pauline Traynard, François Fages, Sylvain Soliman. Model-based Investigation of the Effect of the Cell Cycle on the Circadian Clock through Transcription Inhibition during Mitosis. In CMSB'15: Proceedings of the thirteenth international conference on Computational Methods in Systems Biology, pages 208–221, volume 9308 of Lecture Notes in BioInformatics. Springer-Verlag, 2015. [ preprint ]
Elisabetta De Maria, François Fages, Aurélien Rizk, Sylvain Soliman. Design, Optimization, and Predictions of a Coupled Model of the Cell Cycle, Circadian Clock, DNA Repair System, Irinotecan Metabolism and Exposure Control under Temporal Logic Constraints. Theoretical Computer Science, 412(21):2108–2127, 2011. [ preprint ]
Jean Clairambault, François Fages, Sylvain Soliman. Patient-tailored cancer therapeutics - The TEMPO Project. ERCIM News, 69:24–25, 2007. [ preprint ]
Nathalie Chabrier-Rivier, Marc Chiaverini, Vincent Danos, François Fages, Vincent Schächter. Modeling and querying biochemical interaction networks. Theoretical Computer Science, 325(1):25–44, 2004. [ preprint ]
Model reduction by subgraph epimorphism
The subgraph epimorphism (SEPI) problem is a variant of graph matching problem. Our interest in SEPIs stems from the study of model reductions in systems biology, where large systems of biochemical reactions can be naturally represented by bipartite digraphs of species and reactions. We have shown last year that in this setting, the notion of model reduction can be formalized as the existence of a sequence of vertex deletion and merge operations that transforms a first reaction graph into a second graph. This problem is in turn equivalent to the existence of a subgraph (corresponding to delete operations) epimorphism (i.e. surjective homomorphism, corresponding to merge operations) from the first graph to the second.
We have shown that the SEPI existence problem between two graphs is NP-complete but that constraint logic programming can be successfully used to solve SEPI matching problems on a large benchmark of reaction graphs extracted from the repository of systems biology models biomodels.net.
Now, we study the mathematical conditions under which SEPI reductions are justified, in the framework of tropical algebra to determine the dominating monomials, and using constraint logic programming to solve tropical equilibration problems.
Sylvain Soliman, François Fages, Ovidiu Radulescu. A constraint solving approach to model reduction by tropical equilibration. Algorithms for Molecular Biology, 9(24), 2014.
Steven Gay, Sylvain Soliman, François Fages. A Graphical Method for Reducing and Relating Models in Systems Biology. Bioinformatics, 26(18):i575–i581, 2010.
Constraint logic programming
Constraint logic programming is a declarative programming paradigm based on mathematical logic with the following identifications:
program = logical formula
execution = proof search
In Constraint Satisfaction Problems (CSP), the logical formulae are conjunctions of constraints (i.e. relations on variables expressing partial information) and the satisfiability proofs are computed by constraint solving procedures. In Constraint Logic Programming (CLP), the logical formulae are Horn clauses with constraints (i.e. Prolog one headed rules for the inductive definitions of relations on variables) and the satisfiability proofs combine constraint solving and clause resolution. We use them for solving combinatorial problems and for implementing Biocham.
Because of the importance of optimization techniques in our research in computational systems biology, both constraint programming methods for computing with partial information systems and solving hard combinatorial static analysis problems, and continuous optimization methods for dealing with continuous parameters, I keep some activity purely dedicated to optimization problems, such as bin packing and placement problems in collaboration with the Tasc group and SME KLS-optim, or energy optimization problems with General Electric Transportation. The objective is to develop optimization algorithms for biological problems at the right level of generality, allowing comparisons with other methods, confrontations to other problems, and better insight on the optimization processes which are sometimes easier to visualize on other problems (e.g. packing).
Thierry Martinez, François Fages, Abder Aggoun. A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems. In Proceedings of the 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, CPAIOR'16, 2016. [ preprint ]
Thierry Martinez, François Fages, Sylvain Soliman. Search by Constraint Propagation. In Proceedings of the 17th International Conference on Principles and Practice of Declarative Programming, PPDP'15, pages 173–183. ACM, 2015. [ preprint ]
Thierry Martinez, Lumadaiara Vitorino, François Fages, Abderrahmane Aggoun. On Solving Mixed Shapes Packing Problems by Continuous Optimization with the CMA Evolution Strategy. In Proceedings of the first Computational Intelligence BRICS Congress BRICS-CCI'13, pages 515–521. IEEE Press, 2013. [ preprint ]
François Fages, Julien Martin. From Rules to Constraint Programs with the Rules2CP Modelling language. In Recent Advances in Constraints, Revised Selected Papers of the 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP'08, pages 66–83, volume 5655 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 2009. [ preprint ]
François Fages, Akash Lal. A Constraint Programming Approach to Cutset Problems. Journal Computers and Operations Research, 33:10:2852–2865, 2006. [ preprint ]
Emmanuel Coquery, François Fages. Subtyping constraints in quasi-lattices. In Proceedings of the 23rd conference on foundations of software technology and theoretical computer science, FSTTCS'2003, pages 136–148, volume 2914 of Lecture Notes in Computer Science. Springer-Verlag, 2003. [ preprint ]
François Fages, Emmanuel Coquery. Typing Constraint Logic Programs. Journal of Theory and Practice of Logic Programming, 1(6):751–777, 2001. [ preprint ]
François Fages, Paul Ruet, Sylvain Soliman. Linear concurrent constraint programming: operational and phase semantics. Information and Computation, 165(1):14–41, 2001. [ preprint ]