User:Jerome Feret

Jérôme Feret is a French computer scientist. He is interested in static analysis. He especially uses the Abstract Interpretation framework in analyzing mobile systems, critical embedded software, and biological systems.

His e-mail is mailto:feret@ens.fr.