jerome féret
Master AIV Teacher
Jerome's Bio

Jérome is a Research fellow at INRIA in the Équipe Antique.

He is interested in static analysis by the means of Abstract Interpretation:

Research projects:

  • He leads the INRIA-Paris partner team in the ANR project DCore, on Causal debugging for concurrent systems.

At CRI, he teaches in the course Rule-based Modelling in M1 AIV.