Logo du LIFL

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

  1. Research


Team BioComputing

Programming Languages for Biological Modeling and Simulation

Presentation / Members / Theses / Publications / Publications SmartHal

Modeling and simulation in systems biology seeks for understanding 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.


Web site :

Team leader :


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