Modélisation qualitative de la dynamique de réseaux biologiques

(réseaux de gènes, réseaux de signalisation, etc.)

- Formalisme logique asynchrone de René Thomas, et dérivés
- Programmation Logique avec Contraintes
- Techniques SAT (Satisfaction Problem)

Principales collaborations  :
- Y. Hamadi et Lucas Bordeaux (Microsoft Research Lab, Cambridge, UK)
- S. Ricard-Blum (Institut de Biologie et Chimie des Protéines, UMR 5086 CNRS – Université Lyon 1)

Mots clef :
réseaux, dynamique qualitative, Programmation Logique avec Contraintes (PLC), SAT

Partenariats :
- Microsoft Research Lab, Cambridge, UK.
- Projet CIBLE Bioinformatique, Region Rhone-Alpes (2006-2009) (voir Nicolas Thierry-Mieg, Interactions proteine-proteine)

Contact :
Eric Fanchon
Laurent Trilling


Laboratoire TIMC-IMAG, Domaine de la Merci, 38706 La Tronche Cedex

CNRS
UGA
ENVL
Grenoble INP
Mentions Légales