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 seeks to understand the dynamic behavior of living cells. Biological knowledge is quickly increasing, and modeling and simulation are now faced with systems of complex control, with stochastic effects and increasing size. Formal modeling approaches are thus essential for proper model verification and system prediction. The Biocomputing team develops and studies languages for modeling and simulating bio-molecular systems as well as static analysis methods. Our approach is based on concurrent programming languages with stochastic semantics.

 

Members

Permanent

  • Professor
    • Cédric Lhoussaine (Responsable)
  • Research director
    • Joachim Niehren
  • Associate professors
    • Céline Kuttler
    • Mirabelle Nebut
    • Cristian Versari

Temporary

  • Phd student
    • Émilie Allart

Émilie Allart

Quantitative Reasoning about Metabolic Regulation Networks for Gene Knockout Prediction

Guillaume Madelaine

Exact and Structural Simplifications of Biological Reaction Networks 2017-02-28

Kirill Batmanov

Modélisation spatiale des effets de la communauté 2014-03-26

Céline Kuttler

Modélisation de l'expression génétique bactérienne dans un pi-calcul stochastique à objets concurrents 2007-01-24

Cédric Lhoussaine

Concurrent Programming Languages Approaches to Biological Modeling 2013-12-13

Other ' MSV : Modélisation pour les Sciences du Vivant ' teams

Bonsai