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:
- Fourth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies - BIOTECHNO 2012
March 25--29, St. Maarten, Netherlands Antilles
(PC member) - Workshop on Theory of Probabilistic Systems
April 1--7, Holetown, Barbados
(Invited speaker) - Third International Workshop on Interactions between Computer Science and Biology - CS2Bio'12
June 16, Stockholm, Sweden
(PC member) - International Workshop on Applications of Formal Methods in Systems Biology - AFMSB'12
July 7--8, Berkeley, Ca, USA
(Invited speaker) - International Symposium on
Foundations of Health Information Engineering and System - FHIES 2012
August 27--28, Paris, France
(PC member) - Third International Workshop on Static Analysis and Systems Biology - SASB 2012
September 10, Deauville, France
(Co-chair) - Fortyth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2013
January 2013, Roma, Italy
(ERC member)