François Fages Résumé ? Théorie des réseaux de réactions biochimiques ? Hiérarchie de sémantiques ? Réductions de modèles ? Hypergraphe de réaction et graphe d'influence ? Formalisation des comportements en logique temporelle ? Vérification de modèles ? Inférence des valeurs des paramètres ? Programmation biochimique ? Biologie synthétique: nouvelles fonctions dans des cellules ou vésicules non vivants ? Biologie des systèmes: élucidation des programmes naturels acquis par l'évolution Collège de France, déc, François Fages Lifeware team at Inria Research Scientists Grégory Batt (Inria, Researcher, Synthetic Biology Principal Investigator) Sylvain Soliman, 2014. ,
CNRS MSC lab, Researcher) Denis Thieffry (ENS Paris, Professor) PhD students François Bertaux (AMX, Ecole Polytechnique ,