Section: Dissemination

Popularization

Internal or external Inria responsibilities

• Cezara Drăgoi and Xavier Rival are elected members of the Inria Commision of Evaluation

• Jérôme Feret is a member of the jury of the SIF - Gilles Kahn PhD Award.

• Xavier Rival is member of the “Bureau du comité des projets” since October 2018.

• Xavier Rival is Chair of the Hiring Committee for Inria researchers at the center of Paris (CRCN) for 2019.

• Cezara Drăgoi served in the jury for part-time positions at LiX, January 2019.

• Cezara Drăgoi served in the Inria jury for CES - delegations and Phd scholarships in 2019.

Articles and contents

• Xavier Rival has been working with Kwangkeun Yi on the writing of a book that should serve as an introduction to the field of static analysis, for students and engineers, and this book is expected to be released by MIT Press in January 2020 [16].

Creation of media or tools for science outreach

Xavier Rival has given a talk as part of the “Mon équipe en 180 secondes” series at Inria Paris.