MSV : Modélisation pour les Sciences du Vivant

Équipe BioComputing

Programming Languages for Biological Modeling and Simulation

Responsable: Cédric Lhoussaine

PRÉSENTATION MEMBRES THÈSES PUBLICATIONS

Présentation

La modélisation et la simulation en biologie des systèmes a pour but de comprendre le comportement dynamique des cellules vivantes. Les connaissances en biologie s'accumulant rapidement, la modélisation et la simulation doivent faire face à des systèmes de grande taille, au contrôle complexe et aux effets stochastiques. Les approches formelles de modélisation sont donc essentielles pour la vérification et la prédiction du comportement de tels systèmes. L'équipe Biocomputing développe et étudie des langages pour la modélisation et simulation de systèmes bio-moléculaires et méthodes d'analyses statiques associées. Notre approche est fondée sur les langages de programmation concurrente avec une sémantique stochastique.

 

Membres

Permanents

Émilie Allart

Quantitative Reasoning about Metabolic Regulation Networks for Gene Knockout Prediction

Arnaud Deleruyelle

Segmentation d'images de microscopie cellulaire par apprentissage profond

Danilo Dursoniah

Modélisation de l'absorption intestinale du glucose pour la prédiction du diabète de type 2.

Les autres équipes du groupe thématique ' MSV '

Bonsai