Ent?te

Logo du LIFL

Depuis le 1er janvier 2015 le LIFL et le LAGIS forment le laboratoire CRIStAL

  1. Recherche

Recherche

Équipe BioComputing

Programming Languages for Biological Modeling and Simulation

Présentation / Membres / Thèses / Publications / Publications SmartHal

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 contre 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.

 

Site web :

Responsable :

Ours

UMR 8022 - Laboratoire d'Informatique Fondamentale de Lille - Copyright © 2012 Sophie TISON - Crédits & Mentions légales

Page respectant XHTML et CSS.

Pour tout commentaire / Comments and remarks : webmaster