Ent?te

Research

Research

bioComputing Team

Programming Languages for Biological Modeling and Simulation

Presentation / Members / Thèses / Publications HAL

Modeling and simulation in systems biology seeks for understanding the dynamic behavior of living cells. Since the biological knowledge is quickly increasing, modeling and simulation are now faced to systems with complex control, stochastic effects, and increasing size. Formal modeling approaches are essential for proper model verification and system prediction. The bioComputing team develops and studies languages for modeling and simulation of bio-molecular systems. Our approach is based on concurrent programming languages with stochastic semantics. In parallel, we perform case studies on concrete biological systems. A particular aim is to incorporate spatial aspects in living cells into our models.