MSV

BioComputing team

Programming Languages for Biological Modeling and Simulation

Leader: Cédric Lhoussaine

PRESENTATION MEMBERS THESES PUBLICATIONS

Presentation

Modeling and simulation in systems biology aim to understand the dynamic behavior of living organisms, from the cellular level to populations. As knowledge in biology accumulates rapidly, modeling and simulation must address large-scale systems with complex control and potentially stochastic effects. Formal modeling approaches are therefore essential for the description, verification, and prediction of the behavior of such systems. The Biocomputing team develops languages and algorithms for the modeling and simulation of living systems, as well as associated static analysis methods. Our approach is based on formal methods and the semantics of programming languages.

Members

Permanent

Temporary

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

Marie-Eva Fabri

Interpretation abstraite des dynamiques d'un réseau de réaction avec une information cinétique partielle

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

Bonsai