eric.fanchonRM@univ-grenoble-alpesRM.fr (where the letters RM are to be removed)
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).
I have now turned to formal methods (reachability analysis, temporal logics) developed for
continuous and hybrid dynamical systems. We apply them in the study
of biochemical networks (e.g. network involved in iron homeostasis, in the context of Acute Myeloid Leukemia).
- Member of the scientific committee of the conference Perspectives
in Environmental and Systems Biology (Grenoble, 13-15 april, 2015)
- Member of the program committee of HSB 2014, Vienna, Austria, July 23-24, 2014;
and HSB 2015, Madrid, Spain, September 4-5, 2015.
- Co-organizer of the Spring School 2014 and the
34th Seminar of the French-speaking
Society for Theoretical Biology/Société Francophone
de Biologie Théorique (SFBT), both held in Saint Flour in may 2014.
- 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 31st 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's PhD thesis (in french): 'Méthodologie semi-formelle pour l'étude de systèmes biologiques;
Application à l'homéostasie du fer' (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 april 2015