Eric.FanchonRM@imagRM.fr (where RM =
Taillefer / IN3S, Hôpital Nord [access]
TIMC-IMAG Laboratory, BCM Team, Faculté de Médecine, 38041, Grenoble,
phone: +33 4 56 52 00 27
fax: +33 4 56 52 00 55
Development of formal methods for the dynamical
biological systems, represented as interaction networks. The global
objective is to assist in reasoning during the process of model
building and validation. This includes: building a model from
observations; representing formally partial knowledge about global
behaviour; inferring possible parameter values from known behaviours;
revising an inconsistent model; generating proposals for new
informative experiments. Our computational approach is based on
(i) discrete dynamical systems; (ii) constraints, currently Constraint
Logic Programming (CLP) and boolean satisfiability (SAT).
Through collaboration with biologists, we apply the method to gene
regulatory networks and signaling
pathways (adhesion between endothelial cells, nutritional
stress in E. coli,
segmentation of the early embryo of Drosophila).
More recently we have turned to formal methods developed for continuous and
hybrid dynamical systems. We applied them to a biochemical network involved
in the degradation of the extracellular matrix, and to a network involved
in iron homeostasis.
News (march 2013)
Master thesis project in the frame of the PERSYVAL-lab scholarship program: Formal methods for Modeling in Systems Biology, in collaboration with Oded Maler (Verimag).
The Proceedings of the XXXIth Seminar of the French-Speaking Society for Theoretical Biology are available online on Springer's site ([editorial]).
Co-organizer, with Philippe Tracqui (TIMC lab) of the 31st
the French-speaking Society for Theoretical
Biology/Société Francophone de Biologie
(SFBT), 15-18 may
2011 in Autrans (near Grenoble).
Co-organizer, with Oded
Maler and Alexandre
Donzé (Verimag) of the international
Systems Biology', May 30 - June 1, 2011, Grenoble.
Full list here.
Fabien Corblin's PhD thesis (in french): Conception
et mise en oeuvre d'un outil déclaratif pour l'analyse des
réseaux génétiques discrets.
Nicolas Mobilia works on a PhD thesis entitled 'A meta-environment for
biological network modelling' (co-dir with Jacques
Demongeot, funded by Microsoft Lab Cambridge, UK).
- 'Introduction à la Biologie
Moléculaire et Cellulaire' at Ensimag.
- 'Biologie Systémique' in
M2 ISM, spécialité
1983: Engineering school degree (Physical Engineering, ENSIEG,
1983-1985: Teaching assistant in the physics department of the
University of Monastir,
1987: PhD in solid state physics (Crystallography lab, CNRS, Grenoble).
crystallography, one-dimensional superionic conductors,
disorder, phase transitions.
1988-1990 : post-doctoral position in Wayne Hendrickson's lab,
Columbia University/HHMI, Dpt of Biochemistry and Molecular Biophysics,
New York, NY.
Study of the anisotropy of the anomalous scattering
of X-rays and how to take it into account when phasing protein
structures with the MAD (Multiple-wavelength Anomalous Diffraction)
1990-2006 : CNRS
position at Institut
de Biologie Structurale (Grenoble),
in the Macromolecular Crystallography Lab (Otto Dideberg).
Work in the team in charge of the design, building and running
of 2 synchrotron beamlines at ESRF.
Development of the Multiple-wavelength Anomalous Diffraction
method for the determination of the 3d structure of proteins.
2007-present : TIMC-IMAG,
Computationnelle et Mathématique /
Computational and Mathematical Biology).
last modified april 2012