Exploratory Action InBio with Pasteur Institute in Paris

InBio is an Inria/Pasteur research group created in Feb 2017 and headed by Grégory Batt.

Current research contracts

  • ANR-MOST BIOPSY (F. Molina CNRS Sys2diag, Montpellier, and J.H. Jiang, Dept. Electrical Engineering, NTU, Taiwan, coordinators, 2016-2020)
  • ANR Memip (G. Batt coordinator, 2017-2020)
  • ANR Cogex (P. Hersen, CNRS MSC lab Paris, coordinator, 2017-2019)
  • ANR Blanc HyClock (F. Delaunay, CNRS Nice, coordinator, 2014-2018)
  • Procope (O. Radulescu, Univ. Montpellier, France, Andreas Weber, Univ. Bonn, Germany, 2015-2018)
  • ANR Blanc STOCH-MC (B. Genest Inria Rennes coordinator, 2014-2018)

Current research working groups



  • CNRS GT BIOSS Biologie Systémique Symbolique
  • CNRS GDR BIM Bioinformatique Moléculaire

Research Topics

Most of our theoretical work on biochemical reaction systems consists in analyzing the interplay between the structure

  • Petri net invariants and properties,
  • circuits in the influence graph,
  • subgraph epimorphisms between reaction systems, ...

and the dynamics

  • boolean transition systems,
  • continuous-time Markov chains (CTMC),
  • ordinary differential equations (ODE),
  • time scale separations,...

of reaction networks. These studies provide necessary or sufficient conditions for the existence of some dynamical properties which can be predicted in large biochemical reaction networks by static analyses without making simulation.

The logical paradigm for systems biology that we have developed for building models from formal specifications in temporal logic can be summarized by the following identifications :

  • biological model = transition system,
  • biological property = temporal logic formula,
  • model validation = model-checking,
  • model inference = constraint solving.

This is used with optimization algorithms to develop efficient parameter search strategies in high dimension.

Our collaborations with biologists and physicists are focused on concrete biological questions and on the building of predictive models of biological systems to answer them. More specifically, we work mainly on eukaryotic cells, on

  •  cell signaling and cross talk questions;
  •  real-time control of gene expression;
  •  mammalian cell cycle regulation and cancer therapies;
  •  artficial tissue homeostasis.

Because of the importance of optimization techniques in our research, we keep some activity purely dedicated to optimization problems. 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.


Past contracts

  • ANR Avenir ICEBERG (G. Batt coordinator, 2011-2016))
  • ANR Blanc Net-WMS-2 (F. Fages coordinator, 2011-2015)
  • OSEO-BPI BioIntelligence (2009-2014)
  • General-Electric Transportation (2009-2014)
  • ANR Blanc BioTempo (2010-2014)
  • ANR Cosinus Syne2arti (G. Batt coordinator, 2010-2013)
  • EU EraNet SysBio C5Sys (2010-2013)
  • Initiative Action COLAGE (2008-2013)
  • Initiative Action REGATE (2008-2013)
  • ANR Calamar (S. Soliman coordinator, 2009-2011)
  • European 6th PCRD Strep Net-WMS (F. Fages coordinator, 2006-2010)
  • European 6th PCRD Strep Tempo (2006-2009)
  • AgroBI INRA Project INSIGHT (2006-2008)
  • INRIA Cooperative Research Initiative ARC MOCA (S. Soliman coordinator, 2006-2007)
  • European 6th PCRD NoE Rewerse (2004-2008)
  • European 6th PCRD Strep April-2 (2004-2007)
  • ACI VICANNE (2004-2007)
  • RNTL MANIFICO (2003-2006)
  • RNTL OADymPPaC (P. Deransart coordinator, 2000-2004)
  • INRIA Cooperative Research Initiative ARC CPBIO (F. Fages coordinator, 2002-2004)