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

  • Professeur
    • Cédric Lhoussaine (Responsable)
  • Directeur de recherche
    • Joachim Niehren
  • Maîtres de conférences
    • Céline Kuttler
    • Mirabelle Nebut
    • Cristian Versari

Non permanents

  • Doctorants
    • Émilie Allart
    • Guillaume Madelaine

Émilie Allart

Quantitative Reasoning about Metabolic Regulation Networks for Gene Knockout Prediction

Guillaume Madelaine

Simplifications exactes et structurelles de réseaux de réactions biologiques

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

Approches de la modélisation en biologie par langages de programmation concurrente 2013-12-13

Les autres équipes de ' MSV : Modélisation pour les Sciences du Vivant '

Bonsai