SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Jerome Feret

Registered user since Sun 30 Oct 2016

Name:Jerome Feret
Bio:

Jérôme Feret defended a PhD at the computer science laboratory of École normale superieure in 2005 working with Patrick Cousot on the static analysis of networks with dynamical interaction topologies. In 2007-2008, he did a postdoc at Harvard Medical School working with Walter Fontana on model reduction for intracellular signaling pathways. In 2008, he got a junior researcher position at INRIA working in the Abstraction (now Antique) team at the computer science laboratory of École normale supérieure.

Since 2001, he has been participating to the design of ASTRE. Since 2006, he is applying abstract interpretation theory for simplifying the combinatorial complexity of models of intracellular signaling pathways.

Country:France
Affiliation:INRIA Paris
Research interests:Abstract interpretation, Systems Biology, Embedded systems

Contributions

Show activities from other conferences

SPLASH 2023-profile
View general profile