AbstractCell

Formal abstraction of quantitative semantics for protein-protein interaction cellular network models.

AbstractCell is a long-term Junior Chair of Excellence, that is supported by the ANR (French national research agency). The project started December 1^st, 2009, and will last until November 30^th, 2013.

Main goal

We want to investigate formal foundations and computational aspects of both the stochastic and differential approximate semantics for rule-based models: we will relate these semantics formally, then we will design sound approximations for each of these semantics (by abstract interpretation) and investigate scalable algorithms to compute the properties of both the stochastic and the differential semantics. Our approximations focus only on certain projections, thereby reducing the dimension of semantics.

Co-ordinator contact detail

    Jérôme FERET
    École normale supérieure
    Département d'informatique
    45 rue d'Ulm
    F-75230 Paris cedex 05 (France)
    tel: +33 1 44 32 37 66
    fax: +33 1 44 32 21 51
    email: jerome.feret@ens.fr
    URL: http://www.di.ens.fr/~feret

Jérôme Feret, Last modified: 01 Oct 2011, 20:29:14 CEST