User:Jerome Feret

Jérôme Feret is a french PhD student. He is interested in static analysis. He especially uses the Abstract Interpretation framework in analyzing mobile system properties.

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

His favourite Wikipedia page is:

• AmbientCalculiOnline