February 15, 2016
Adrien Basso-Blandin (IBISC Lab)La biologie possède une masse de connaissances dont la disparité des données et la fragmentation entraine une difficulté d’appréhension des systèmes dans leur globalité. Plus particulièrement, en biologie de synthèse où l’objectif est de concevoir de nouvelles fonctionnalités n’existant pas à l’état naturel à partir de composants existants, la connaissance partielle de ces composants entraine de lourds risques de sécurité et de sureté lors de l’assemblage de nouveaux organismes.
Dans ce cadre, nous proposons un grand axe majeur centré sur la définition d’une tour de modèles formels permettant dans le cas le plus abstrait une description comportementale des fonctionnalités des systèmes et dans celui le plus concret de décrire les interactions mécanistiques entre composants élémentaires.
L’objectif à terme est de proposer à la communauté des biologistes un ensemble d’outils d’aide à la décision permettant l’agrégation de connaissances biologiques en une unique représentation de connaissances, puis l’inférence de nouvelles connaissances ainsi que la validation et la vérification formelle et in-vitro lors de la conception de nouvelles fonctions biologiques.