Na Pankráci 17
140 21 Prague 4
+420 284 001 444
François Fages received his PhD in Logic and Computer Science at the University of Paris UPMC in 1983 and his Habilitation Thesis at the University Paris-Diderot in 1992. In 1983, he was appointed research scientist at CNRS at Ecole Normale Supérieure in Paris, and was part-time consultant at Thomson-CSF Company, where he created a rule-based language which became Ilog-Rules, and part-time teacher at Ecole Polytechnique from 1985 to 1998. In 1999, he was appointed senior research scientist at Inria Rocquencourt. He has been the Principal Investigator of several international and national research contracts, and has supervised 20 PhD Theses. François Fages leads the Constraint Programming group at Inria Paris-Rocquencourt. In parallel to his research on constraint modeling languages for combinatorial optimization problems, he investigates the use of formal methods for cell systems biology. His early work in 2002 on the use of temporal logic to formalize the biological properties of very large molecular interaction maps, led him to the design of the Biochemical Abstract Machine (BIOCHAM) modelling environment. This widely distributed software has evolved for handling discrete, continuous and stochastic models, and now includes original model-checking, parameter search and robustness analysis procedures based on quantitative temporal logics. His main application domains investigated in collaboration with biologists, are mammalian cell signalling, and coupled models of cell cycle, circadian clock and effects of cytotoxic drugs for cancer therapies. François Fages is a member of the steering committee of the international conference “Computational Methods in Systems Biology” and is responsible for the Master course “Computational Methods in Systems and Synthetic Biology” at University Paris-Diderot.
For more details please click here.