Eric.FanchonRM@imagRM.fr (where RM = remove this)
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 modeling of
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
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 (reachability analysis, temporal logics) developed for
continuous and hybrid dynamical systems. We applied them to a biochemical
network involved in the degradation of the extracellular matrix (in the context of angiogenesis), and to a network
involved in iron homeostasis (in the context of Acute Myeloid Leukemia).
- Co-organizer of the Spring School 2014 of the French-speaking
Society for Theoretical Biology/Société Francophone de Biologie Théorique (SFBT).
- Program Committee of HSB 2014, Vienna, Austria, July 23-24, 2014.
- Start of the CADMIDIA project (funded by ANR):
The project Cadmidia aims at understanding the relationship between low level exposure to
the widespread contaminant, cadmium, and dysfunction of pancreatic β cells, which is a
strongly contributing factor in the development of type II diabetes.
Co-organizer, with Philippe Tracqui (TIMC lab) of the 31st
seminar of the French-speaking Society for Theoretical Biology/Société
Francophone de Biologie Théorique (SFBT), 15-18 may 2011 in Autrans
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 Oded Maler and
Alexandre Donzé (Verimag) of the international
workshop 'Toward Systems Biology', May 30 - June 1, 2011,
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 (2nd year).
- 'Biologie Systémique' in ENSIMAG (3rd year) and
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 feb 2014