Jérôme FERET 
Research fellow at INRIA
É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 / Kappa language)
Forthcoming events:
- Fortyth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2013
January 23--25 2013, Roma, Italy
(ERC member) - Fifth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies - BIOTECHNO 2013
March 24--29, Lisbon, Portugal
(PC member) - Fourth International Workshop on Computational Models for Cell Processes - CompMod 2013
June 11, Turku, Finland
(PC member) - Fourth International Workshop on Static Analysis and Systems Biology - SASB 2013
June 19 2013, Seattle, USA
(Co-chair) - Eleventh International Conference on Computational Methods in Systems Biology - CMSB 2013
September 23--25 2013, Klosterneuburg (near Vienna), Austria