J. FERET

Jérôme FERET

Research fellow at INRIA

Curriculum Vitae

Équipe Interprétation Abstraite
DI - École Normale Supérieure
45, rue d'Ulm
75 230 Paris Cedex 05 --- France

E-mail: feret@di.ens.fr

I am interested in static analysis by the mean of Abstract Interpretation:

static analysis of mobile systems (PhD)
static analysis of critical embedded systems (ASTREE analyzer)
static analysis of biological networks (programs as models)

Ongoing projects:

AbstractCell (ANR Chair of Excellence)

Working group:

Working group "Computational Biology"

Program comittee member of forthcoming conferences:

First International Workshop on Interactions between Computer Science and Biology - CS2Bio'10, DisCoTec workshop, 10 Juin, Amsterdam, Netherlands (PC member)
First Workshop on Static Analysis and Systems Biology - SASB 2010, SAS workshop, 13 September, Perpignan, France (Co-chair)

Hobbies:

Médée et la Toison d'Or

visit the webpage

and

watch the making off.