Gregory Batt

   Research scientist (CR2) INRIA
   Contraintes research group



   
   Curriculum Vitae
Contact:  Address: INRIA 
              Domaine de Voluceau
              Rocquencourt - BP 105
              78153 Le Chesnay Cedex, France

 Tel:  +33  1 39 63 53 77
 Fax: +33  1 39 63 54 69
 Email: Gregory.Batt_at_inria.fr
What do I do? Algorithmic analysis of dynamics of genetic regulatory networks in presence of parameter uncertainties

Problems: robustness analysis, (robust) parameter search, model validation, in systems and synthetic biology

Main difficulties: Algorithmic analysis of biomolecular systems amounts to automate the analysis of uncertain nonlinear dynamical systems

Approaches: Use temporal logics to define/specify behaviors of biological systems in combination with
  • symbolic analysis of piecewise affine (PA) systems, when only qualitative information is available (ie for medium/large networks, in systems biology)
  • parametric anaysis of piecewise multiaffine (PMA) systems, when uncertain quantitative information is available (ie for small/medium networks, in systems or synthetic biology)
  • parameter sampling techniques for general nonlinear systems, when uncertain quantitative information is available (ie for small/medium networks, in systems or synthetic biology)
Temporal logics are high level, flexible languages well adapted to specify the behavior of biological systems

Keywords: formal verification of hybrid systems, systems and synthetic biology, genetic regulatory networks
Publications and tools are available here

Presentations are available here

See also a short bio and former web pages at INRIA, BU and Verimag

Workshop on constructing gene networks: observation, analysis and control more info

grégory batt grégory

  






Survey | SEO