GT Bioss

Le groupe Bioss est un groupe de travail scientifique, soutenu par le CNRS au travers des Groupes de recherche Informatique Fondamentale et ses Mathématiques  (GDR IFM), Bio-informatique moléculaire (GDR BiM) et Raisonnement, Apprentissage et Raisonnement en Inteillence Artificielle (GDR RADIA), rassemblant la communauté des chercheurs et enseignants-chercheurs français autour de la modélisation des systèmes biologiques, thématique centrale de la biologie des systèmes à la frontière de l’informatique fondamentale, des mathématiques discrètes (et plus généralement des mathématiques), avec la biologie moléculaire et la médecine.

Biologie des systèmes.  C’est un domaine de recherche dont l’objectif est de comprendre comment fonctionnent les systèmes biologiques dans leur ensemble, en intégrant différents niveaux d’informations, et à partir de l’étude des relations et des interactions entre les composants de ces systèmes. Ce domaine est par nature interdisciplinaire, puisque pour répondre à des questions biologiques, il traite de problèmes liés à l’observation de la réponse cellulaire (analyse de données), à l’intégration de données pour l’identification d’interactions (méthodes statistiques, apprentissage), à la modélisation formelle et numérique du comportement du système (modèles formels, modèles symboliques, modèles numériques), à l’étude de modèles de processus cellulaires (mathématiques appliquées, informatique théorique), allant jusqu’à leur contrôle (automatique, vérification de modèles).

Modélisation symbolique des systèmes biologiques. Cette thématique vise à développer des méthodes informatique et mathématiques facilitant la modélisation, l’analyse et la compréhension des systèmes biologiques dynamiques “complexes. Ces développements méthodologiques particuliers, souvent utilisés en complément des méthodes de modélisation et d’analyse traditionnelles, sont motivés par le constat que les systèmes biologiques diffèrent des systèmes physiques par plusieurs aspects fondamentaux. En particulier, la modélisation, la spécification, le contrôle et la vérification de modèles qualitatifs, ainsi que l’étude de leurs invariants pour faire émerger des propriétés robustes y jouent un rôle central.