Jérome is a Research fellow at INRIA in the Équipe Antique.
He is interested in static analysis by the means of Abstract Interpretation:
- static analysis of mobile systems (PhD)
- static analysis of critical embedded systems (ASTREE analyzer)
- static analysis of biological networks (Executable Knowledge / Kappa language)
- 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.