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 (CR2, then CR1 since 2011) 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

Personal website:http://www.di.ens.fr/~feret/

Research interests:Abstract interpretation, Systems Biology, Embedded systems

Contributions

VMCAI 2023	Author of A generic framework to coarse-grain stochastic reaction networks by Abstract Interpretation within the VMCAI 2023-track Committee Member in Program Committee within the VMCAI 2023-track
SAS 2022	Committee Member in Program Committee within the SAS-track
SAS 2021	Committee Member in Program Committee within the SAS-track Session Chair of Session 4C (part of SAS)
SAS 2020	Committee Member in Program Committee within the SAS-track Session Chair of 9 (part of SAS)
VMCAI 2020	Author of Sharing Ghost Variables in a Collection of Abstract Domains within the VMCAI 2020-track
ESOP 2019	Author of Counters in Kappa: Semantics, Simulation, and Static Analysis within the ESOP 2019-track
HSB 2019	Session Chair of Analysis (part of HSB) Committee Member in Program Committee within the HSB-track
VMCAI 2019	Committee Member in Program Committee within the VMCAI 2019-track
N40AI 2017	Committee Member in Organizer within the Next 40 years of Abstract Interpretation-track Session Chair of Industrial Panel 2 & Systems Biology (part of Next 40 years of Abstract Interpretation)