LIFEWARE

Le projet Lifeware vise à développer des méthodes formelles pour comprendre la machinerie cellulaire et établir des paradigmes computationnels en biologie des systèmes. Lifeware se fonde sur la vision des cellules comme des machines, des réseaux de réactions biochimiques comme des programmes, et le développement de concepts et d'outils informatiques permettant de maîtriser la complexité des processus cellulaires. Le projet s'intéresse à des questions de recherche fondamentale sur le calcul analogique chimique, les analyses  statiques des réseaux d'interactions moléculaires en théorie des graphes, les analyses dynamiques en logique temporelle quantitative, et les correspondances entre structure et dynamique de tels réseaux. En collaboration avec des biologistes, y compris de l'industrie pharmaceutique, nous étudions des questions biologiques et biomédicales concrètes, et développons des modèles et des méthodes computationnels pour y répondre. Nos développements logiciels reposent notamment sur des techniques originales de prototypage rapide en programmation logique avec contraintes.