Jerome Feret

Jerome Feret is a Research Fellow at INRIA Paris and an Adjunct Professor at PSL University, affiliated with the Computer Science Department of École normale supérieure. His research focuses on Abstract Interpretation, applying formal methods to analyze biological networks, embedded systems, and mobile systems. He leads the Antique Inria Project team and contributes to academic governance as Head of Study for the Computer Science Department at École normale supérieure and as a member of Inria Paris' PhD Committee.

• Education:
  • PhD in Computer Science, École normale supérieure (2005)
  • Postdoc in Model Reduction for Intracellular Signaling Pathways, Harvard Medical School (2007-2008)
• Research Interests:
  • Abstract Interpretation for static analysis of dynamical systems
  • Systems Biology: modeling biological networks with Kappa language
  • Embedded Systems: safety-critical software verification
• Teaching:
  • Co-teaches Abstract Interpretation: Application to Verification and Static Analysis at Université Paris Cité
  • Active in mentoring and curriculum design for the MPRI master's program
• Academic Service:
  • Session Chair and Program Committee member for ESOP, VMCAI, HSB, and SAS conferences
  • Contributor to static analysis tools like ASTRE
• Students:
  • Current PhD students: Jérôme Boillot, Rebecca Ghidini, Patrícia Tenera Roxo
  • Alumni PhD students: Mehdi Bouaziz, Matthieu Bouguéon, Ferdinanda Camporesi, Marc Chevalier, Aurélie Kong Win Chang, Albin Salazar
  • Former postdocs: Wassim Abou Jaoudé, Norman Ferns, Luca Grieco, Jonathan Hayman, Yves-Stan Le Cornec, Sébastien Légaré, Kim Quyên Lý, Antoine Pouille, Alessandro Romanel