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

Non permanents

Danilo Dursoniah

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

Madeleine Eyraud

Apprentissage automatique de réseaux d'interactions dans les écosystèmes marins

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

Bonsai